Module type Lattice_type.With_Cardinal_One

type t
val cardinal_zero_or_one : t -> bool