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