Module Lattices.BVSetSource

A lattice of finite sets of bitvectors. Best for small domains where explicit enumeration is feasible.

Sourcemodule ZSet : sig ... end
Sourceval equal : ZSet.t -> ZSet.t -> bool
Sourceval compare : ZSet.t -> ZSet.t -> int
Sourceval hash : 'a -> 'b
Sourceval pretty : size:'a -> Format.formatter -> ZSet.t -> unit
Sourcetype t = ZSet.t
Sourceval bottom : size:'a -> ZSet.t
Sourceval top : size:'a -> 'b
Sourceval join : size:'a -> ZSet.t -> ZSet.t -> ZSet.t
Sourceval inter : size:'a -> ZSet.t -> ZSet.t -> ZSet.t
Sourceval singleton : size:'a -> ZSet.elt -> ZSet.t