Module type Zdd.ARITH

module type ARITH = sig .. end

type t 

val zero : t

val one : t

val add : t -> t -> t