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