Module Lattices.Signed_Interval

Signed interval lattice: represents ranges of integers with signed semantics (e.g. -10, 42)

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