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