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