diff options
| author | Christophe Troestler <Christophe.Troestler@umons.ac.be> | 2018-03-21 19:42:36 +0100 |
|---|---|---|
| committer | Christophe Troestler <Christophe.Troestler@umons.ac.be> | 2018-03-29 18:49:21 +0200 |
| commit | 9f0f710a8db43d72864d39d77a0c7f7823e6c34f (patch) | |
| tree | d27c1dd3bd11a592ad5dfcd04de82a078dfd927b /stdlib/float.mli | |
| parent | 5636fc57cdf79e2bc08790b2a8480900e464887d (diff) | |
| download | ocaml-9f0f710a8db43d72864d39d77a0c7f7823e6c34f.tar.gz | |
Add Float.pi
Fixes https://caml.inria.fr/mantis/view.php?id=4170
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]. *) |