diff options
Diffstat (limited to 'stdlib/char.mli')
| -rw-r--r-- | stdlib/char.mli | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/stdlib/char.mli b/stdlib/char.mli index 6435d425d..64544621f 100644 --- a/stdlib/char.mli +++ b/stdlib/char.mli @@ -13,12 +13,16 @@ (* Module [Char]: character operations *) -external code: char -> int = "%identity" +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 |