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