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] |