sig
  type t = int
  val fresh : unit -> Globular.Theory.Var.t
  val to_string : Globular.Theory.Var.t -> string
end