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?

forall evaluates an expression for each value provided.

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

Defines a set.