sig
  type t
  val create : unit -> Hashcons.t
  val add : Hashcons.t -> string -> int
  val find : Hashcons.t -> int -> string
end