sig
  type var
  type var_container
  val anonymous : VarManager.I.var
  val is_anonymous : VarManager.I.var Fun.predicate
  val mk : string -> VarManager.I.var
  val is_exist_var : VarManager.I.var Fun.predicate
  val is_free_var : VarManager.I.var Fun.predicate
  val fresh_evar : VarManager.I.var_container -> VarManager.I.var
  val fresh_evars :
    VarManager.I.var_container -> int -> VarManager.I.var list
  val fresh_fvar : VarManager.I.var_container -> VarManager.I.var
  val fresh_fvars :
    VarManager.I.var_container -> int -> VarManager.I.var list
end