Dynamic values, and functions which operate on them.

Overloaded equality over dynamic types.

Immutable strings with fast comparison.

This module is not for general use, it it part of the internal implementation of the IString module.

Mutable type lattice Data structure, like a hashtable, that can lookup data associated with a type.

Random labels This module is useful when you want to create unique identifiers.

Interface for creating show functions in a standardised way.

Representation of types.

A labeller for types.