Module CCBijection

Bijection

Represents 1-to-1 mappings between two types. Each element from the "left" is mapped to one "right" value, and conversely.

type 'a sequence = ('a ‑> unit) ‑> unit

module type OrderedType : sig ... end

module type S : sig ... end

module Make : functor (L : OrderedType) -> functor (R : OrderedType) -> S with type left = L.t and type right = R.t