Functor MapVar.Make

module Make: 
functor (DVar : sig
type t 

val create : unit -> t
val merge : t -> t -> t
end) -> 
functor (Map : sig
include OwnMap.S_Str
val alias : img -> img -> unit
end) -> 
functor (P : GenVars.PREFIX) -> 
functor (O : GenVars.OBSERVER) -> 
functor (State : GenVars.STATE  with type obs = O.t) -> S 
  with type I.key = Map.key
  and type I.img = Map.img
  and type obs = O.t
  and type domain_var = DVar.t

include MapVar.S_WITHOUT_STATE

type domain_var 

val get_domain_var : t -> domain_var