diff options
Diffstat (limited to 'otherlibs/num/num.mli')
| -rw-r--r-- | otherlibs/num/num.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/otherlibs/num/num.mli b/otherlibs/num/num.mli index 1d421ff29d..1773338470 100644 --- a/otherlibs/num/num.mli +++ b/otherlibs/num/num.mli @@ -155,7 +155,9 @@ val approx_num_exp : int -> num -> string first argument is the number of digits in the mantissa. *) val num_of_string : string -> num -(** Convert a string to a number. *) +(** Convert a string to a number. + Raise [Failure "num_of_string"] if the given string is not + a valid representation of an integer *) (** {6 Coercions between numerical types} *) |