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