functor
(
A
:
ARITH
)
->
sig
val
cardinal :
Zdd
.t
->
A
.t
end