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