2010-01-23 02:17:49 +01:00
|
|
|
|
|
|
|
|
Type
|
|
|
|
|
SimpleType
|
|
|
|
|
Projection
|
|
|
|
|
prefix : SimpleType
|
2010-10-23 03:55:16 +02:00
|
|
|
id: String
|
2010-01-23 02:17:49 +01:00
|
|
|
ParameterRef
|
2012-05-13 05:12:29 +02:00
|
|
|
id: String
|
2010-01-23 02:17:49 +01:00
|
|
|
Singleton
|
|
|
|
|
path: Path
|
|
|
|
|
EmptyType
|
|
|
|
|
Parameterized
|
|
|
|
|
baseType : SimpleType
|
|
|
|
|
typeArguments: Type*
|
2011-02-15 00:59:54 +01:00
|
|
|
Constant
|
|
|
|
|
baseType: Type
|
|
|
|
|
value: String
|
2010-01-23 02:17:49 +01:00
|
|
|
Annotated
|
|
|
|
|
baseType : SimpleType
|
|
|
|
|
annotations : Annotation*
|
|
|
|
|
Structure
|
2010-10-23 03:55:16 +02:00
|
|
|
parents : ~Type*
|
|
|
|
|
declared: ~Definition*
|
|
|
|
|
inherited: ~Definition*
|
2010-01-23 02:17:49 +01:00
|
|
|
Existential
|
|
|
|
|
baseType : Type
|
|
|
|
|
clause: TypeParameter*
|
|
|
|
|
Polymorphic
|
|
|
|
|
baseType: Type
|
|
|
|
|
parameters: TypeParameter*
|