Module Cduce_types

module Tset : sig ... end

The minimal interface for a set of values to be part of a type. All kinds (for instance the ℂDuce type Int Intervals) support at least these operations.

module Bool : sig ... end

Representation of formulæ.

module AtomSet : sig ... end

Sets of atoms, used for variants (`nil, `true, `false, …) as well as for XML tags (<hello>[] ≡ <(`hello)>[]).

module Intervals : sig ... end

Sets of integers represented as disjoint intervals.

module CharSet : sig ... end

Sets of characters (Unicode code points) represented as disjoint intervals. The range of valid code points is [0-0x10ffff]. Surrogate pairs, that is code points in the range [0xd7ff-0xdfff] are allowed but their use is not recommended.

module AbstractSet : sig ... end

Sets of abstract types whose content cannot be inspected. An abstract type represents the whole sets of its values, and does not provide any way to represent subsets. These abstract types behave like atoms and are used to represent e.g. OCaml types such as float.

module Ident : sig ... end

Handling of identifiers (e.g. type names) Identifier are qualified names (e.g. to denote a type defined in a particular name space.)

module Var : sig ... end

Polymorphic type variables.

module Types : sig ... end

ℂDuce type algebra

module Builtin_defs : sig ... end

Some CDuce predefined types

module Compunit : sig ... end

Compilation units.