Module Binding.Equiv

exception Already_Paired
module LR : sig ... end
module RL : sig ... end
type t = {
  1. lr : Apron.Var.t LR.t;
  2. rl : Mopsa.var RL.t;
}
val compare : t -> t -> int
val empty : t
val fold : ((Mopsa.var * Apron.Var.t) -> 'a -> 'a) -> t -> 'a -> 'a
val iter : ((Mopsa.var * Apron.Var.t) -> unit) -> t -> unit
val remove_l : Mopsa.var -> t -> t
val remove_r : Apron.Var.t -> t -> t
val add : (Mopsa.var * Apron.Var.t) -> t -> t
val mem : (Mopsa.var * Apron.Var.t) -> t -> bool
val concat : t -> t -> t
val mem_l : Mopsa.var -> t -> bool
val mem_r : Apron.Var.t -> t -> bool
val find_l : LR.key -> t -> Apron.Var.t
val find_r : RL.key -> t -> Mopsa.var
val find_l_opt : Mopsa.var -> t -> Apron.Var.t option
val find_r_opt : Apron.Var.t -> t -> Mopsa.var option
val map : ((Mopsa.var * Apron.Var.t) -> Mopsa.var * Apron.Var.t) -> t -> t
val filter : ((Mopsa.var * Apron.Var.t) -> bool) -> t -> t
val exists : ((Mopsa.var * Apron.Var.t) -> bool) -> t -> bool
val forall : ((Mopsa.var * Apron.Var.t) -> bool) -> t -> bool