open General (** Converts an int to a char. *) val of_int : int -> char option