module type With_Cardinal_One = Lattice_type.With_Cardinal_One
Lattice_type.With_Cardinal_One
type t
val cardinal_zero_or_one : t -> bool
t -> bool