sig
  type unop = Apron.Texpr1.unop = Neg | Cast | Sqrt
  type binop = Apron.Texpr1.binop = Add | Sub | Mul | Div | Mod
  type typ =
    Apron.Texpr1.typ =
      Real
    | Int
    | Single
    | Double
    | Extended
    | Quad
  type round = Apron.Texpr1.round = Near | Zero | Up | Down | Rnd
  type 'a t =
      Cst of Apron.Coeff.t
    | Var of 'a
    | Unop of Apronexpr.Tree.unop * 'a Apronexpr.Tree.t *
        Apronexpr.Tree.typ * Apronexpr.Tree.round
    | Binop of Apronexpr.Tree.binop * 'a Apronexpr.Tree.t *
        'a Apronexpr.Tree.t * Apronexpr.Tree.typ * Apronexpr.Tree.round
  val support : 'a Apronexpr.symbol -> 'a Apronexpr.Tree.t -> 'a PSette.t
  val substitute_by_var :
    'a Apronexpr.Tree.t -> ('a, 'a) PMappe.t -> 'a Apronexpr.Tree.t
  val print :
    'a Apronexpr.symbol -> Format.formatter -> 'a Apronexpr.Tree.t -> unit
  val compare :
    'a Apronexpr.symbol -> 'a Apronexpr.Tree.t -> 'a Apronexpr.Tree.t -> int
end