sig
  type t
  type operator = Plus | Minus | Mult | Div | Modulo
  val make_int : Num.num -> Smt_sig.S.Term.t
  val make_real : Num.num -> Smt_sig.S.Term.t
  val make_app :
    Smt_sig.S.Symbol.t -> Smt_sig.S.Term.t list -> Smt_sig.S.Term.t
  val make_arith :
    Smt_sig.S.Term.operator ->
    Smt_sig.S.Term.t -> Smt_sig.S.Term.t -> Smt_sig.S.Term.t
  val is_int : Smt_sig.S.Term.t -> bool
  val is_real : Smt_sig.S.Term.t -> bool
  val t_true : Smt_sig.S.Term.t
  val t_false : Smt_sig.S.Term.t
end