sig
  type t = char
  val eq : char -> char -> bool
  val to_string : char -> string
  val compare : char -> char -> int
  val leq : char -> char -> bool
  val geq : char -> char -> bool
end