Index of values


(<:) [Type]
s <: t is a short-cut for is_subtype_of s t

E
equal [Value]
Checks whether two values are equal (this looks for equivalence modulo eta-conversion on variable indices)

F
foreigns [Type]
foreigns t returns all the type variables appearing in t.
free_vars [Type]
free_vars t returns all the free variables of type t.
free_vars [Value]
free_vars v returns the free variables inside v.

I
is_mutable [Type]
is_mutable t checks whether t contains a mutable field
is_subtype_of [Type]
is_subtype_of s t checks whether s is a sub-type of t.

O
of_string [Type]
of_string str returns the type t corresponding to the pretty-printed string str.
of_string [Value]
of_string str returns the value which had been pretty-printed to str.

S
string_of_last_type_error [Type]
Returns the more recent failing sub-type relation tested by (<:) or is_subtype_of

T
to_string [Type]
to_string t pretty-prints the type t
to_string [Value]
to_string v pretty-prints the value v

U
unroll [Type]
unroll env t replaces every type appearing in t by its type value defined in env.