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