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