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