diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-05 10:05:18 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-05 10:05:18 +0000 |
| commit | 997fb206a78dd2ec553a397c1d4e0d4a93714ef5 (patch) | |
| tree | 7443831d3ef27e25ed4e83ab7694c3f58263bdb9 /stdlib/char.mli | |
| parent | 623e2fbc005eec3bc79bbd81b8cff39ad5458f32 (diff) | |
Printf.sprintf et String.concat dans stdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/char.mli')
| -rw-r--r-- | stdlib/char.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/char.mli b/stdlib/char.mli index 40791c94b..7afa37bb4 100644 --- a/stdlib/char.mli +++ b/stdlib/char.mli @@ -1,6 +1,6 @@ (* Character operations *) -val code: char -> int = "%identity" +external code: char -> int = "%identity" val chr: int -> char val escaped : char -> string -val unsafe_chr: int -> char = "%identity" +external unsafe_chr: int -> char = "%identity" |