Index of types


B
binop [Ast.Ast]
LogLog basics.
boolop [Ast.Ast]

C
cexp [Constraint.Constraint]
constraintbinop [Constraint.Constraint]
constraintbody [Ast.Ast]
constraintenv [Evalenv.Evalenv]
For storing information about data values/user-defined types along with their associated constraints.
constraintexp [Ast.Ast]
Constraint expression.
constraintvalue [Ast.Ast]
cvar [Constraint.Constraint]

D
datafields [Ast.Ast]
datarhs [Ast.Ast]
Things that can appear on the right-hand side of a top-level data * declaration.

E
evalenv [Evalenv.Evalenv]
exp [Ast.Ast]
Expressions.

F
fundecl [Ast.Ast]

N
numconstraint [Constraint.Constraint]

P
primexp [Ast.Ast]

R
recordindex [Constraint.Constraint]
relation [Ast.Ast]

S
stmt [Ast.Ast]
Statements show up in procedure bodies.
symexp [Ast.Ast]
Symbolic expressions.

T
t [AstUtils.Var]
token [Yparser]
token [Parser]
topdecl [Ast.Ast]
Top-level declarations.
typeconstraint [Evalenv.Evalenv]
typerep [Ast.Ast]
Type representations.

U
userty [Ast.Ast]
User-defined types can only be relation/record types.

V
var [Ast.Ast]
Data fields for a record (i.e.
varname [Constraint.Constraint]