Uses of Class
wyil.util.TypeSystem

Packages that use TypeSystem

Package	Description
wyc.builder	Provides the classes responsible for actually translating WhileyFiles into WyilFiles.
wyil.util.interpreter

Uses of TypeSystem in wyc.builder

Methods in wyc.builder that return TypeSystem

Modifier and Type	Method and Description
TypeSystem	CompileTask.getTypeSystem() Access the type system object this compile task is using.

Uses of TypeSystem in wyil.util.interpreter

Methods in wyil.util.interpreter that return TypeSystem

Modifier and Type	Method and Description
TypeSystem	Interpreter.getTypeSystem()