Package orc.ast.extended.type

Class Summary

AssertedType	A type which is in some asserted position.
Bot	The type 'Bot', subtype of all other types.
LambdaType	A lambda type: lambda[X,...,X](T,...,T) :: T
NamedType	A simple named type.
Top	The type 'Top', supertype of all other types.
TupleType	A type tuple: (T,...,T)
Type	Abstract superclass of syntactic types in the extended AST.
TypeApplication	A type instantiation with explicit type parameters: T[T,..,T]