Index of values

Replace data in the lattice at the given type.

shower for any value, shows "<unknown>"

append a b returns an istring containing the contents of a followed by the contents of b.

As append but right hand parameter is a string.

Use a shower to append the string representation of a value to a buffer.

Apply a value to a function.

Apply a list of values to a function.

shower for association lists

shower for associations

shower for bools

Relable the variables in a type to bring it into "canonical" form.

shower for chars

shower for chars, shows without quotes

Fast non-lexical comparison function, for maps etc.

Concatenate the istrings in the given list into a single istring.

decompose_func f return (a,r), where a is the argument type of f, and r is the return type of f.

display_type_error f returns a new function, identical to f, except that Type_error exceptions are mapped to Type_error' exceptions.

Compare the values in a and b for equality.

Create an empty lattice.

The empty istring.

Compare strings for equality.

field_shower name f s

Find most recently added data associated with the given type.

Find all data associated with the given type.

Find the all data associated with the most specific keys which cover the given type.

Find the most recently added data associated with the most specific keys which cover the given type.

Find the most specific keys which cover the given type.

shower for floats

func t0 t1 creates a function type which takes t0 as a parameter, and returns t1.

shower for any function value, shows "<function>"

Get a character in an istring.

get_func t returns None of t is not a function type, otherwise Some f where f is the func of t.

Get the runtime type of a dynamic value.

Get the type of a dynamic value.

has_type t d is true iff d has type t.

Return value suitable for hashing.

returns the first character in the string.

init s returns s without the last character.

shower for ints

Internalise an istring.

True iff the istring is empty.

Return true iff the given type is a function.

Return true iff the given type is fully ground (contains no type variables.

True iff t0 can be specialised with t1.

True iff the types unify.

last s returns the last character in s.

Return the length of the istring.

Lexical comparison.

shower for lists

shower for listlike things

A function which returns a different label every time it is called.

Create an istring from a char.

Create an istring from a float.

Create an istring from a int.

Create an istring from a string.

shower for options

Use a shower to print a value to stdout.

Use a shower to print a value followed by a newline to stdout.

Create a shower for a record, from a list of field showers.

Register an equality function.

Register equality functions for: (int * int), (string * string), (bool * bool), (float * float), (unit * unit), ('a list * 'a list), ('a list * 'b list)

Replace data in the lattice at the given type.

Reverse a istring.

Shower for labels.

Create a shower from a function which converts a value to a string.

Create a shower from a function which converts a value to a string.

Add a character to the end of a string.

specialise t0 with t1.

shower for strings

shower for strings, shows without quotes and escaping

sub s start len returns a substring of s starting a start and len characters long.

subst v t0 t1 substitues v for t0 in t1.

substs ss t performs all substitutions in list ss to t.

Turn a substs into a list subst.

Return the string without the first character.

Turn any istring into a temporary istring.

Get a formatter from a shower.

Get a formatter from a shower.

Get from a shower a function that converts a value to a string.

Create a string from an istring.

A printer for the ocaml toplevel.

Equality over types variables.

Equivelence over types.

Hash function over types.

unify t0 t1 unifies types t0 and t1.

shower for unit

unsafe_to_dynamic t v casts v to a dynamic value with type t.

unsafe_to_static t d casts d to a normal O'Caml value, or throws Type_error if d does not have type t.

unsnoc s returns a pair consisting of s without the last character, and the last character.