diff options
Diffstat (limited to 'kernel/float64.mli')
| -rw-r--r-- | kernel/float64.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/float64.mli b/kernel/float64.mli index fd84f9e61d..7ced535dc0 100644 --- a/kernel/float64.mli +++ b/kernel/float64.mli @@ -19,6 +19,8 @@ val is_nan : t -> bool val to_string : t -> string val of_string : string -> t +val of_float : float -> t + val opp : t -> t val abs : t -> t |