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