Module Lattices.Unsigned_IntervalSource

Sourcetype t = Z.t * Z.t
Sourceval compare : (Z.t * Z.t) -> (Z.t * Z.t) -> int
Sourceval equal : (Z.t * Z.t) -> (Z.t * Z.t) -> bool
Sourceval hash : (Z.t * Z.t) -> int
Sourceval join : size:'a -> (Z.t * Z.t) -> (Z.t * Z.t) -> Z.t * Z.t
Sourceval inter : size:'a -> (Z.t * Z.t) -> (Z.t * Z.t) -> Z.t * Z.t
Sourceval bottom : size:'a -> Z.t * Z.t
Sourceval includes : size:'a -> (Z.t * Z.t) -> (Z.t * Z.t) -> bool
Sourceval pretty : size:'a -> Format.formatter -> (Z.t * Z.t) -> unit
Sourceval top : size:int -> Z.t * Z.t