Module type Eva_lattice_type.With_Cardinal_One

module type With_Cardinal_One = Lattice_type.With_Cardinal_One

type t 
val cardinal_zero_or_one : t -> bool