sig type t = name val compare : t -> t -> int end