Keyword Dictionary

`::`

Used to separate a quantifier from a definition.

Indicates if a value is of a specific type, returning true if so.

datatype AorB = A | B
var example := A;
assert example.A?;

Creates a new datatype. It is used to create enums and record/struct types and cannot be null.

datatype NumberRecord = NumberRecord(intField: int, strField: string)
var threeRecord := NumberRecord(3, "three");

forall evaluates an expression for each value provided.

Defines a mapping (ie hashmap, dictionary, etc).

Defines a set.