(<:) [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 .
|