&
Interval
+
IntLimit
IntOrUnbounded
Interval
Unbounded
++
Actions
<=
IntOrUnbounded
>
IntOrUnbounded
>=
IntOrUnbounded
_0
IntOrUnbounded
_1
IntOrUnbounded
_object
AnnotationAST
ExpressionAST
_type
AnnotationAST
ExpressionAST
SemActAST
StemRangeAST
ValueClassAST
WildCardAST
ValAST