Module ast 

Structs

Bound

One x, y \in S group of a quantifier, function or set constructor.

Decl

A declared name together with its arity; zero for a plain constant.

Def

LetInstance

An INSTANCE introduced by a LET, in scope only for its body.

Module

Param

A formal parameter. Arity is zero for an ordinary one and positive for an operator parameter, which is declared as f(_) and must be applied.

Enums

ExceptPath

Expr

QuantKind

Unit