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