sig
  type 'a term = Mpqf.t * 'a
  type 'a t = { cst : Mpqf.t; lterm : 'a Bddapron.Apronexpr.Lin.term list; }
  val normalize :
    'a Bddapron.Apronexpr.symbol ->
    'a Bddapron.Apronexpr.Lin.t -> 'a Bddapron.Apronexpr.Lin.t
  val compare_lterm :
    'a Bddapron.Apronexpr.symbol ->
    'a Bddapron.Apronexpr.Lin.term list ->
    'a Bddapron.Apronexpr.Lin.term list -> int
  val compare :
    'a Bddapron.Apronexpr.symbol ->
    'a Bddapron.Apronexpr.Lin.t -> 'a Bddapron.Apronexpr.Lin.t -> int
  val var : 'a -> 'a Bddapron.Apronexpr.Lin.t
  val zero : 'a Bddapron.Apronexpr.Lin.t
  val one : 'a Bddapron.Apronexpr.Lin.t
  val cst : Mpqf.t -> 'a Bddapron.Apronexpr.Lin.t
  val add :
    'a Bddapron.Apronexpr.symbol ->
    'a Bddapron.Apronexpr.Lin.t ->
    'a Bddapron.Apronexpr.Lin.t -> 'a Bddapron.Apronexpr.Lin.t
  val sub :
    'a Bddapron.Apronexpr.symbol ->
    'a Bddapron.Apronexpr.Lin.t ->
    'a Bddapron.Apronexpr.Lin.t -> 'a Bddapron.Apronexpr.Lin.t
  val scale :
    Mpqf.t -> 'a Bddapron.Apronexpr.Lin.t -> 'a Bddapron.Apronexpr.Lin.t
  val negate : 'a Bddapron.Apronexpr.Lin.t -> 'a Bddapron.Apronexpr.Lin.t
  val support :
    'a Bddapron.Apronexpr.symbol ->
    'a Bddapron.Apronexpr.Lin.t -> 'a PSette.t
  val substitute_by_var :
    'a Bddapron.Apronexpr.symbol ->
    'a Bddapron.Apronexpr.Lin.t ->
    ('a, 'a) PMappe.t -> 'a Bddapron.Apronexpr.Lin.t
  val normalize_as_constraint :
    'a Bddapron.Apronexpr.Lin.t -> 'a Bddapron.Apronexpr.Lin.t
  val print :
    'a Bddapron.Apronexpr.symbol ->
    Format.formatter -> 'a Bddapron.Apronexpr.Lin.t -> unit
  val of_linexpr0 :
    'a Bddapron.Apronexpr.symbol ->
    Apron.Environment.t -> Apron.Linexpr0.t -> 'a Bddapron.Apronexpr.Lin.t
  val of_linexpr1 :
    'a Bddapron.Apronexpr.symbol ->
    Apron.Linexpr1.t -> 'a Bddapron.Apronexpr.Lin.t
  val to_linexpr0 :
    'a Bddapron.Apronexpr.symbol ->
    Apron.Environment.t -> 'a Bddapron.Apronexpr.Lin.t -> Apron.Linexpr0.t
  val to_linexpr1 :
    'a Bddapron.Apronexpr.symbol ->
    Apron.Environment.t -> 'a Bddapron.Apronexpr.Lin.t -> Apron.Linexpr1.t
end