Module type Lattice_type.With_Enumeration

module type With_Enumeration = sig .. end

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.