Module Lattices.Unsigned_Interval
val compare : (Z.t * Z.t) -> (Z.t * Z.t) -> int
val equal : (Z.t * Z.t) -> (Z.t * Z.t) -> bool
val sdbm : int -> int -> int
val hash : (Z.t * Z.t) -> int
val join : size:'a -> (Z.t * Z.t) -> (Z.t * Z.t) -> Z.t * Z.t
val inter : size:'a -> (Z.t * Z.t) -> (Z.t * Z.t) -> Z.t * Z.t
val bottom : size:'a -> Z.t * Z.t
val includes : size:'a -> (Z.t * Z.t) -> (Z.t * Z.t) -> bool
val pretty : size:'a -> Stdlib.Format.formatter -> (Z.t * Z.t) -> unit
val top : size:int -> Z.t * Z.t