Package orc.ast.xml.type

Class Summary

ArrowType	A syntactic arrow type: lambda[X,...,X](T,...,T) :: T
Bot
ClassnameType	A syntactic type which refers to a Java class (which we will treat as a type).
Datatype
PolymorphicTypeAlias	A syntactic type representing an aliased type with type parameters.
SiteType	A syntactic type corresponding to a Java class implementing a type.
Top
TupleType	A syntactic type tuple: (T,...,T)
Type
TypeApplication	A type instantiation with explicit type parameters: T[T,..,T]
TypeVariable	A simple named type.