sig
  type 'a varexp = 'a * int
  type 'a monomial = 'a Apronexpr.Poly.varexp list
  type 'a term = Mpqf.t * 'a Apronexpr.Poly.monomial
  type 'a t = 'a Apronexpr.Poly.term list
  val compare_varexp :
    'a Apronexpr.symbol ->
    'a Apronexpr.Poly.varexp -> 'a Apronexpr.Poly.varexp -> int
  val compare_monomial :
    'a Apronexpr.symbol ->
    'a Apronexpr.Poly.monomial -> 'a Apronexpr.Poly.monomial -> int
  val normalize_monomial :
    'a Apronexpr.symbol ->
    'a Apronexpr.Poly.monomial -> 'a Apronexpr.Poly.monomial
  val normalize :
    'a Apronexpr.symbol -> 'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t
  val normalize_full :
    'a Apronexpr.symbol -> 'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t
  val compare :
    'a Apronexpr.symbol -> 'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t -> int
  val cst : Mpqf.t -> 'a Apronexpr.Poly.t
  val var : 'a -> 'a Apronexpr.Poly.t
  val add :
    'a Apronexpr.symbol ->
    'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t
  val sub :
    'a Apronexpr.symbol ->
    'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t
  val scale :
    'a Apronexpr.symbol ->
    Mpqf.t * 'a Apronexpr.Poly.monomial ->
    'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t
  val mul :
    'a Apronexpr.symbol ->
    'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t
  val div :
    'a Apronexpr.symbol ->
    'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t
  val negate : 'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t
  val support : 'a Apronexpr.symbol -> 'a Apronexpr.Poly.t -> 'a PSette.t
  val substitute_by_var :
    'a Apronexpr.symbol ->
    'a Apronexpr.Poly.t -> ('a, 'a) PMappe.t -> 'a Apronexpr.Poly.t
  val normalize_as_constraint : 'a Apronexpr.Poly.t -> 'a Apronexpr.Poly.t
  val print :
    'a Apronexpr.symbol -> Format.formatter -> 'a Apronexpr.Poly.t -> unit
end