sig
  type t
  val equal : Constant.t -> Constant.t -> bool
  val hash : Constant.t -> int
  val compare : Constant.t -> Constant.t -> int
  val arity : Constant.t -> int
  val string_of : Constant.t -> string
  val pp_print : Format.formatter -> Constant.t -> unit
  val log : int -> Constant.t -> unit
  val symbolic : Symbol.t -> Constant.t
  val is_symbolic : Constant.t -> bool
  val symbolic_value : Constant.t -> Symbol.t
  val integer : Big_int.big_int -> Constant.t
  val is_integer : Constant.t -> bool
  val integer_value : Constant.t -> Big_int.big_int
  val rational : Num.num -> Constant.t
  val is_rational : Constant.t -> bool
  val rational_value : Constant.t -> Num.num
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.