sig
  type union_5 = Scalar of Scalar.t | Interval of Interval.t
  and t = Coeff.union_5
  val s_of_mpq : Mpq.t -> Coeff.t
  val s_of_mpqf : Mpqf.t -> Coeff.t
  val s_of_int : int -> Coeff.t
  val s_of_frac : int -> int -> Coeff.t
  val s_of_float : float -> Coeff.t
  val s_of_mpfr : Mpfr.t -> Coeff.t
  val i_of_scalar : Scalar.t -> Scalar.t -> Coeff.t
  val i_of_mpq : Mpq.t -> Mpq.t -> Coeff.t
  val i_of_mpqf : Mpqf.t -> Mpqf.t -> Coeff.t
  val i_of_int : int -> int -> Coeff.t
  val i_of_frac : int -> int -> int -> int -> Coeff.t
  val i_of_float : float -> float -> Coeff.t
  val i_of_mpfr : Mpfr.t -> Mpfr.t -> Coeff.t
  val is_scalar : Coeff.t -> bool
  val is_interval : Coeff.t -> bool
  val cmp : Coeff.t -> Coeff.t -> int
  val equal : Coeff.t -> Coeff.t -> bool
  val is_zero : Coeff.t -> bool
  val equal_int : Coeff.t -> int -> bool
  val neg : Coeff.t -> Coeff.t
  val reduce : Coeff.t -> Coeff.t
  val print : Format.formatter -> Coeff.t -> unit
end