Djot_kernel.Ascii
val ascii_of_nat : int -> char
val coq_N_of_digits : bool list -> BinNums.coq_N
val coq_N_of_ascii : char -> BinNums.coq_N
val compare : char -> char -> Datatypes.comparison
val leb : char -> char -> bool