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