A | |
| aexpr [Ast] |
The
aexpr type is the result of type inference.
|
| apattern [Ast] |
The
apattern type is used to represent patterns that have
additional type annotations.
|
B | |
| binary_op [Ast] |
The
binary_op type is an enumeration of all the valid binary
operators in the 3110Caml operators.
|
C | |
| constant [Ast] |
Constants are the simplest types of expressions in 3110Caml.
|
| constr [Ast] | constrs represent type constraints during unification.
|
D | |
| definition [Ast] |
The
definition type is used for let expressions that are input
into the toplevel REPL loop.
|
| directive [Ast] |
Directives are the commands that are available to the user during
a REPL session.
|
E | |
| environment [Ast] |
The
environment type represents our mapping from identifiers to
types.
|
| expr [Ast] |
This type encodes all of the valid expressions in
3110Caml.
|
I | |
| id [Ast] |
The
id type is an alias for the built-in OCaml string type.
|
P | |
| pattern [Ast] |
The
pattern specifies the valid set of patterns that can occur
within a match expression in the 3110Caml language.
|
S | |
| stream [Streams] |
The
'a stream type is used to represent infinite sequences with
elements of type 'a.
|
| substitution [Ast] | substitution is our representation for
substitutions used during unification.
|
T | |
| toplevel_input [Ast] | toplevel_input represents all of the entry points into the
interpreter.
|
| typ [Ast] | typ is our internal representation of valid 3110Caml types.
|
U | |
| unary_op [Ast] |
The
unary_op type outlines the valid unary operators in the
3110Caml language.
|
V | |
| value [Ast] |
These are the set of possible output values for 3110Caml expressions.
|