CCBijection.Make
module L : OrderedType
module R : OrderedType
type left = L.t
type right = R.t
val empty : t
val is_empty : t -> bool
Add left
and right
correspondence to bijection such that left
and right
are unique in their respective sets and only correspond to each other.
val cardinal : t -> int
Number of bindings. O(n) time.
Remove the left
, right
binding if it exists. Return the same bijection otherwise.
Remove the binding with left
key if it exists. Return the same bijection otherwise.
Remove the binding with right
key if it exists. Return the same bijection otherwise.