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 |