Functor Zdd.Cardinal

module Cardinal: 
functor (A : ARITH) -> sig .. end

val cardinal : Zdd.t -> A.t