Module type Sig.Bitvector_Lattice_No_Conversion

include Datatype_sig.S
type t
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val bottom : size:int -> t
val is_bottom : size:int -> t -> bool
val top : size:int -> t
val inter : size:int -> t -> t -> t
val join : size:int -> t -> t -> t
val pretty : size:int -> Stdlib.Format.formatter -> t -> unit
val widen : size:int -> previous:t -> t -> t
val includes : size:int -> t -> t -> bool
val includes_or_widen : size:int -> previous:t -> t -> bool * t
val singleton : size:int -> Z.t -> t