Synopsis The different types of values.
Details Boolean Constructor DateTime Integer List ListRelation Location Map Node Number Range Real ReifiedTypes Relation Set String Tuple Value Void
Description
- Boolean: Boolean values.
- Constructor: Constructors create values for user-defined datatypes (Algebraic Datatypes).
- DateTime: Date and time values.
- Integer: Integer values.
- List: List values.
- ListRelation: ListRelation values.
- Location: (Source code) location values.
- Map: Map values.
- Node: Node values.
- Number: Numeric values.
- Range: Numeric range of values.
- Real: Real values.
- ReifiedTypes: Types can be represented by values
- Relation: Relation values.
- Set: Set values.
- String: String values.
- Tuple: Tuple values.
- Value: Values of type
value. - Void: Values of type
void.