Module Equiv.MakeSource

Parameters

module L : OrderedType
module R : OrderedType

Signature

Sourceexception Already_Paired
Sourcemodule LR : sig ... end
Sourcemodule RL : sig ... end
Sourcetype t = {
  1. lr : R.t LR.t;
  2. rl : L.t RL.t;
}
Sourceval compare : t -> t -> int
Sourceval empty : t
Sourceval fold : ((L.t * R.t) -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval iter : ((L.t * R.t) -> unit) -> t -> unit
Sourceval remove_l : L.t -> t -> t
Sourceval remove_r : R.t -> t -> t
Sourceval add : (L.t * R.t) -> t -> t
Sourceval mem : (L.t * R.t) -> t -> bool
Sourceval concat : t -> t -> t
Sourceval mem_l : L.t -> t -> bool
Sourceval mem_r : R.t -> t -> bool
Sourceval find_l : LR.key -> t -> R.t
Sourceval find_r : RL.key -> t -> L.t
Sourceval find_l_opt : L.t -> t -> R.t option
Sourceval find_r_opt : R.t -> t -> L.t option
Sourceval map : ((L.t * R.t) -> L.t * R.t) -> t -> t
Sourceval filter : ((L.t * R.t) -> bool) -> t -> t
Sourceval exists : ((L.t * R.t) -> bool) -> t -> bool
Sourceval forall : ((L.t * R.t) -> bool) -> t -> bool