Module Relational.BindingSource

Bindings between Mopsa variables and Apron variables

module Equiv : sig ... end
Sourcetype t = Equiv.t
Sourceval empty : t
Sourceval mopsa_to_apron_var : Mopsa.var -> t -> Apron.Var.t * t
Sourceval mopsa_to_apron_vars : Mopsa.var list -> t -> Apron.Var.t list * t
Sourceval apron_to_mopsa_var : Apron.Var.t -> t -> Mopsa.var
Sourceval concat : Equiv.t -> Equiv.t -> Equiv.t
Sourceval remove_apron_var : Apron.Var.t -> Equiv.t -> Equiv.t
Sourceval remove_apron_vars : Apron.Var.t list -> Equiv.t -> Equiv.t