6 ms·
It is indeed a decimal escape: https://ocaml.org/manual/5.2/lex.html#char-literal https://ocaml.org/manual/5.2/lex.html#char-literal
by dpassens 2y ago
It is indeed a decimal escape: https://ocaml.org/manual/5.2/lex.html#char-literal https://ocaml.org/manual/5.2/lex.html#char-literal