sig
type
t
val
cardinal_zero_or_one :
Lattice_type
.
With_Cardinal_One
.t
->
bool
end