Module type Eva_lattice_type.With_Enumeration

module type With_Enumeration = Lattice_type.With_Enumeration

type t 
val fold_enum : (t -> 'a -> 'a) ->
t -> 'a -> 'a
Fold on the elements of the value one by one if possible. Raises Abstract_interp.Not_less_than when there is an infinite number of elements to enumerate.
val cardinal_less_than : t -> int -> int
Raises Abstract_interp.Not_less_than whenever the cardinal of the given lattice is strictly higher than the given integer.