sig
  type binop = Add | Sub | Mul | Div | Mod
  type expr =
      Cst of Mpqf.t
    | Ref of Var.t
    | Binop of Arith.Tree.binop * Arith.Tree.expr * Arith.Tree.expr
    | Other of Var.t * Arith.Tree.expr list
  val support : Arith.Tree.expr -> Var.Set.t
  val rename : Arith.Tree.expr -> Var.t Var.Map.t -> Arith.Tree.expr
  val print : Format.formatter -> Arith.Tree.expr -> unit
end