sig type t val equal : TopDown.CONST.t -> TopDown.CONST.t -> bool val hash : TopDown.CONST.t -> int val to_string : TopDown.CONST.t -> string val of_string : string -> TopDown.CONST.t val query : TopDown.CONST.t end