Module Lattices.Signed_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 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