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