Module Integer.Known_Bits
val compare : (Z.t * Z.t) -> (Z.t * Z.t) -> int
val sdbm : int -> int -> int
val hash : (Z.t * Z.t) -> int
val is_bottom : (Z.t * Z.t) -> bool
type bitvalue =
| One
| Zero
| Unknown
val testbit : (Z.t * Z.t) -> int -> bitvalue
val pretty : Stdlib.Format.formatter -> (Z.t * Z.t) -> unit
val read : string -> Z.t * Z.t
val singleton : 'a -> 'b * 'c
val inter0 : Z.t -> Z.t -> Z.t
val inter1 : Z.t -> Z.t -> Z.t
val inter : (Z.t * Z.t) -> (Z.t * Z.t) -> Z.t * Z.t
val join0 : Z.t -> Z.t -> Z.t
val join1 : Z.t -> Z.t -> Z.t
val join : (Z.t * Z.t) -> (Z.t * Z.t) -> Z.t * Z.t
val equal : (Z.t * Z.t) -> (Z.t * Z.t) -> bool
val is_included : (Z.t * Z.t) -> (Z.t * Z.t) -> bool
val includes : (Z.t * Z.t) -> (Z.t * Z.t) -> bool
val widen : size:'a -> previous:(Z.t * Z.t) -> (Z.t * Z.t) -> Z.t * Z.t
val includes_or_widen : size:'a -> previous:'b -> 'c -> 'd