sig type t = char val eq : t BatOrd.eq end