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

`\|` `Stop of 'a`
`\|` `Cont of 'a`	Used for browsable-until structures.

`\|` `Inl of 'a`
`\|` `Inr of 'b`	Union type