Module Gvars.VARS.LEVar

module LEVar: sig .. end 
   with type I.img = OTVar.t
   and type I.key = Loc.t
   and type domain_var = LSVar.t

include MapVar.S

val synchronize : t -> unit