| Class | Description |
|---|---|
| ADTPrefixConstruct | |
| AllFields | |
| AllObjects | |
| EmptyMapLiteral | |
| EmptySeqLiteral | |
| EmptySetLiteral | |
| Intersect | |
| MethodSignature | |
| RangeExpression |
Represents the range suffix for subsequences written in suffix notation, e.g., seq[from..to]
|
| SeqConcat | |
| SeqGet |
Sequence getter operation.
|
| SeqIndexOf | |
| SeqLength | |
| SeqReverse | |
| SeqSingleton | |
| SeqSub | |
| SetMinus | |
| SetUnion | |
| Singleton |