sig
  type t
  val zero : Zdd.ARITH.t
  val one : Zdd.ARITH.t
  val add : Zdd.ARITH.t -> Zdd.ARITH.t -> Zdd.ARITH.t
end