| Class | Description |
|---|---|
| AllFields | |
| AllObjects | |
| SeqConcat | |
| SeqGet |
Represents a sequence getter function.
|
| SeqIndexOf |
Represents a function giving the index of some element in a sequence (if it exists).
|
| SeqLength |
Represents a function giving the length of a sequence.
|
| SeqReverse | |
| SeqSingleton | |
| SeqSub | |
| SetMinus | |
| SetUnion | |
| Singleton |