diff options
Diffstat (limited to 'stdlib/float.mli')
| -rw-r--r-- | stdlib/float.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/float.mli b/stdlib/float.mli index 15263d77f8..ee0a641503 100644 --- a/stdlib/float.mli +++ b/stdlib/float.mli @@ -66,6 +66,9 @@ val nan : float [=], [<], [<=], [>] and [>=] return [false] and [<>] returns [true] if one or both of their arguments is [nan]. *) +val pi : float +(** The constant pi. *) + val max_float : float (** The largest positive finite value of type [float]. *) |