module type S = sig .. end
sig
end
include MapVar.S_WITHOUT_STATE
type domain_var
val get_domain_var : t -> domain_var
t -> domain_var