module type With_Enumeration =sig
..end
type
t
val fold_enum : (t -> 'a -> 'a) ->
t -> 'a -> 'a
Abstract_interp.Not_less_than
when there is an infinite number of
elements to enumerate.val cardinal_less_than : t -> int -> int
Abstract_interp.Not_less_than
whenever the cardinal of the
given lattice is strictly higher than the given integer.