sig
  type t = char
  val compare : char -> char -> int
  val equal : char -> char -> bool
  val hash : '-> int
  val gen : ?size:int -> Random.State.t -> char
  val to_string : char -> string
end