Module Lattices.Congruence
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 bottom : size:'a -> Z.t * Z.t
val top : size:'a -> Z.t * Z.t
val singleton : size:int -> Z.t -> Z.t * Z.t