Module CSig

Missing pervasive types from OCaml stdlib

type ('a, 'b) union =
| Inl of 'a
| Inr of 'b

Union type

type 'a until =
| Stop of 'a
| Cont of 'a

Used for browsable-until structures.

type (_, _) eq =
| Refl : ('a'a) eq
module type SetS = sig ... end

Redeclaration of OCaml set signature, to preserve compatibility. See OCaml documentation for more information.

module type MapS = sig ... end