2010-01-22 20:17:49 -05:00
|
|
|
|
|
|
|
|
Type
|
|
|
|
|
SimpleType
|
|
|
|
|
Projection
|
|
|
|
|
prefix : SimpleType
|
2010-10-22 21:55:16 -04:00
|
|
|
id: String
|
2010-01-22 20:17:49 -05:00
|
|
|
ParameterRef
|
|
|
|
|
id: Int
|
|
|
|
|
Singleton
|
|
|
|
|
path: Path
|
|
|
|
|
EmptyType
|
|
|
|
|
Parameterized
|
|
|
|
|
baseType : SimpleType
|
|
|
|
|
typeArguments: Type*
|
|
|
|
|
Annotated
|
|
|
|
|
baseType : SimpleType
|
|
|
|
|
annotations : Annotation*
|
|
|
|
|
Structure
|
2010-10-22 21:55:16 -04:00
|
|
|
parents : ~Type*
|
|
|
|
|
declared: ~Definition*
|
|
|
|
|
inherited: ~Definition*
|
2010-01-22 20:17:49 -05:00
|
|
|
Existential
|
|
|
|
|
baseType : Type
|
|
|
|
|
clause: TypeParameter*
|
|
|
|
|
Polymorphic
|
|
|
|
|
baseType: Type
|
|
|
|
|
parameters: TypeParameter*
|
