Module ArithDD.Add

module Add: Mtbdd.S  with type leaf = Arith.expr