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