Module Liquidsoap_lang_types

The type system: representation, constraints, custom types, unification and the printable form used in error messages.

module Type : sig ... end

Types and their constructors.

module Type_base : sig ... end

The raw representation behind Type, for the few places that need to build or traverse it directly.

module Type_custom : sig ... end

Registering an OCaml type as a liquidsoap type.

module Repr : sig ... end

The printable representation of a type, used in error messages.

module Typing : sig ... end

Unification, subtyping, generalization and instantiation.