Term.Cst
type t = term_cst
val ty : t -> Sig.t
val builtin : t -> builtin
val hash : t -> int
val equal : t -> t -> bool