Module Integer.Known_Bits

type t = Z.t * Z.t

val compare : (Z.t * Z.t) -> (Z.t * Z.t) -> int

val hash : (Z.t * Z.t) -> int

val bottom : unit -> Z.t * Z.t

val is_bottom : (Z.t * Z.t) -> bool

val top : unit -> Z.t * Z.t

type bitvalue =

1. | One
2. | Zero
3. | 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 -> 'a * 'a

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