Module CCBijection.Make
Parameters
R : OrderedType
L : OrderedType
Signature
val empty : t
val is_empty : t -> bool
val equal : t -> t -> bool
val compare : t -> t -> int
val add : left -> right -> t -> t
Add
left
andright
correspondence to bijection such thatleft
andright
are unique in their respective sets and only correspond to each other.
val cardinal : t -> int
Number of bindings. O(n) time.
val remove : left -> right -> t -> t
Remove the
left
,right
binding if it exists. Return the same bijection otherwise.
val remove_left : left -> t -> t
Remove the binding with
left
key if it exists. Return the same bijection otherwise.