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