CCBijection (u.458ce93c41ef1e41510f0ee50906165d.containers.2.8.1.doc.containers.data.CCBijection)

Bijection

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

Sourcetype 'a sequence = ('a -> unit) -> unit

Sourcemodule type OrderedType = sig ... end

Sourcemodule type S = sig ... end

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