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.