module PaireOrd: sig .. end
sig
end
type t = int * int
int * int
val compare : 'a -> 'a -> int
'a -> 'a -> int