Package orc.type

Class Summary

ArrowType
BooleanType
Bot	The bottom type.
ConstIntType
EllipsisArrowType
IntegerType
LetType	The special type of the let site.
Message
NamedType	Placeholder for named types which have not yet been resolved to bound type variables.
NumberType
StringType
Top	The Top type.
TupleType
Type	Abstract superclass of all types for the Orc typechecker.