Module Gvars.VARS.OTVar

module OTVar: MapVar.S  
   with type I.img = TVar.t
   and type I.key = Syntax.label

include MapVar.S_WITHOUT_STATE

type domain_var 

val get_domain_var : t -> domain_var