sig
  type t
  val of_string : string -> TopDown.PARSABLE_CONST.t
  val of_int : int -> TopDown.PARSABLE_CONST.t
end