sig type t val fold_enum : (Lattice_type.With_Enumeration.t -> 'a -> 'a) -> Lattice_type.With_Enumeration.t -> 'a -> 'a val cardinal_less_than : Lattice_type.With_Enumeration.t -> int -> int end