diff options
Diffstat (limited to 'stdlib/char.mli')
| -rw-r--r-- | stdlib/char.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/stdlib/char.mli b/stdlib/char.mli index 64544621fe..f69e8fda1b 100644 --- a/stdlib/char.mli +++ b/stdlib/char.mli @@ -15,14 +15,10 @@ external code : char -> int = "%identity" (* Return the ASCII code of the argument. *) -external int_of_char : char -> int = "%identity" - (* Alias of the [code] function above. *) val chr: int -> char (* Return the character with the given ASCII code. Raise [Invalid_argument "Char.chr"] if the argument is outside the range 0--255. *) -val char_of_int : int -> char - (* Alias of the [chr] function above. *) val escaped : char -> string (* Return a string representing the given character, with special characters escaped following the lexical conventions |