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 : Stdlib.Format.formatter -> Coeff.t -> unit
end