sig type t = char val compare : t BatOrd.comp end