summaryrefslogtreecommitdiff
path: root/stdlib/int32.mli
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2004-01-01 16:42:43 +0000
committerDamien Doligez <damien.doligez-inria.fr>2004-01-01 16:42:43 +0000
commit5a678d29f58926a5cd7db0c9121c69cb603a77f9 (patch)
treec8157238e17990d5d90f9eeb1c08506e253593bb /stdlib/int32.mli
parent331b2d89c3dc4fb7e1b51276a5a9e37a6c8c8b3a (diff)
downloadocaml-5a678d29f58926a5cd7db0c9121c69cb603a77f9.tar.gz
depollution suite (PR#1914 et PR#1956)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/int32.mli')
-rw-r--r--stdlib/int32.mli12
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/int32.mli b/stdlib/int32.mli
index 756a08d631..d96d771e8a 100644
--- a/stdlib/int32.mli
+++ b/stdlib/int32.mli
@@ -113,16 +113,16 @@ external to_int : int32 -> int = "%int32_to_int"
during the conversion. On 64-bit platforms, the conversion
is exact. *)
-external of_float : float -> int32 = "int32_of_float"
+external of_float : float -> int32 = "caml_int32_of_float"
(** Convert the given floating-point number to a 32-bit integer,
discarding the fractional part (truncate towards 0).
The result of the conversion is undefined if, after truncation,
the number is outside the range \[{!Int32.min_int}, {!Int32.max_int}\]. *)
-external to_float : int32 -> float = "int32_to_float"
+external to_float : int32 -> float = "caml_int32_to_float"
(** Convert the given 32-bit integer to a floating-point number. *)
-external of_string : string -> int32 = "int32_of_string"
+external of_string : string -> int32 = "caml_int32_of_string"
(** Convert the given string to a 32-bit integer.
The string is read in decimal (by default) or in hexadecimal,
octal or binary if the string begins with [0x], [0o] or [0b]
@@ -134,14 +134,14 @@ external of_string : string -> int32 = "int32_of_string"
val to_string : int32 -> string
(** Return the string representation of its argument, in signed decimal. *)
-external bits_of_float : float -> int32 = "int32_bits_of_float"
+external bits_of_float : float -> int32 = "caml_int32_bits_of_float"
(** Return the internal representation of the given float according
to the IEEE 754 floating-point ``single format'' bit layout.
Bit 31 of the result represents the sign of the float;
bits 30 to 23 represent the (biased) exponent; bits 22 to 0
represent the mantissa. *)
-external float_of_bits : int32 -> float = "int32_float_of_bits"
+external float_of_bits : int32 -> float = "caml_int32_float_of_bits"
(** Return the floating-point number whose internal representation,
according to the IEEE 754 floating-point ``single format'' bit layout,
is the given [int32]. *)
@@ -159,7 +159,7 @@ val compare: t -> t -> int
(** {6 Deprecated functions} *)
-external format : string -> int32 -> string = "int32_format"
+external format : string -> int32 -> string = "caml_int32_format"
(** [Int32.format fmt n] return the string representation of the
32-bit integer [n] in the format specified by [fmt].
[fmt] is a [Printf]-style format consisting of exactly