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