Index of values

C
compare [Pos]
compare [Identifier]
E
eval [Typed_eval]
F
fresh [Identifier]	Creates a new identifier with a unique internal number: `fresh x <> fresh x`.
fresh_from [Identifier]	`fresh_from x` creates a fresh identifier with the same string as `x` but a new, unique number.
from_string [Identifier]	Creates a new identifier without a unique number: `from_string x = from_string x`.
M
mk [Pos]
P
parse [M_util]
parse [Typeinf_util]
parse [Typed_util]
parse [HOF_util]
parse [Arith_util]
parse_exp_from_file [Arith_util]
parse_from_file [M_util]
parse_from_file [Typeinf_util]
parse_from_file [Typed_util]
parse_from_file [HOF_util]
print [Pos]
print_exp [M_util]
print_exp [Typeinf_util]
print_exp [Typed_util]
print_exp [HOF_util]
print_exp [Arith_util]
print_typ [M_util]
print_typ [Typeinf_util]
print_typ [Typed_util]
S
string_of_exp [M_util]
string_of_exp [Typeinf_util]
string_of_exp [Typed_util]
string_of_exp [HOF_util]
string_of_exp [Arith_util]
string_of_typ [M_util]
string_of_typ [Typeinf_util]
string_of_typ [Typed_util]
T
to_string [Pos]
to_string [Identifier]	`to_string (from_string x) = x`, but `to_string (fresh x) = x#n` where `n` is a unique number
type_check [Typed_eval.TYPECHECKER]