Module Lattices.Unsigned_Interval

type t = Z.t * Z.t

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

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

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