sig   module Comp : sig type t = char val compare : t BatOrd.comp end   module Ord : sig type t = char val ord : t BatOrd.ord end   module Eq : sig type t = char val eq : t BatOrd.eq end end