Package orc.type

Class Summary

Type	Abstract superclass of all types for the Orc typechecker.
TypeApplication	An unevaluated type application.
TypeInstance	A type constructor instantiated at particular types, e.g.
TypeVariable	A bound type variable.
TypingContext	The context used by the typechecker.