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