Module obj 

Structs

Abs

Add

Cap

Cart

CartDim

Choose

ClosedRange

Count

Cup

Div

FamilyObj

FieldAccess

FieldAccessWithMod

FiniteSeqListObj

Literal [a, b, ...] as a finite sequence value (for membership in finite_seq(s, n)).

FiniteSeqSet

Set of functions fn(x N_pos: x <= n) s (Lit surface syntax: keyword finite_seq(s, n)).

FnObj

FnSet

Identifier

IdentifierWithMod

Intersect

ListSet

Log

Real logarithm log(base, x) with base > 0, base != 1, x > 0.

MatrixAdd

MatrixListObj

MatrixMul

MatrixPow

MatrixScalarMul

MatrixSet

MatrixSub

Max

Min

Mod

Mul

Number

ObjAtIndex

Pow

PowerSet

Proj

Range

SeqSet

seq(s) — functions fn(x N_pos) s (no length bound; surface: keyword seq(s)).

SetBuilder

SetDiff

SetMinus

StructObj

Instantiated struct type: struct name followed by argument objects (field types / indices).

Sub

Tuple

TupleDim

Union

Enums

Atom

IdentifierOrIdentifierWithMod

Obj

StandardSet

Functions

field_access_to_string

field_access_with_mod_to_string

fn_obj_to_string

identifier_to_string

identifier_with_mod_to_string