Module Lattices.BVSet

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