Skip to content

Keyword Dictionary

Sean Swezey edited this page Oct 11, 2021 · 16 revisions

::

Used to separate a quantifier from a definition.

Related

?

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

Examples

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

Related

datatype

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

Examples

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

Links

forall

forall evaluates an expression for each value provided.

Examples

Related

Links

map

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

Examples

Related

Links

set

Defines a set.

Examples

Related

Links

Clone this wiki locally