diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2018-03-01 11:12:02 +0100 |
|---|---|---|
| committer | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2018-03-15 18:26:52 +0100 |
| commit | 2f6ffb138e9878ddbf1a7c4d28f76983175fe686 (patch) | |
| tree | e5bb826b6aa12bfa9b66ba13b6ddb91e095344de /stdlib/float.mli | |
| parent | 94dc90d735012b5c7383bedf8ef677b0e10bf2a2 (diff) | |
| download | ocaml-2f6ffb138e9878ddbf1a7c4d28f76983175fe686.tar.gz | |
Rename epsilon_float -> epsilon
Diffstat (limited to 'stdlib/float.mli')
| -rw-r--r-- | stdlib/float.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/float.mli b/stdlib/float.mli index 81a417590b..15263d77f8 100644 --- a/stdlib/float.mli +++ b/stdlib/float.mli @@ -72,7 +72,7 @@ val max_float : float val min_float : float (** The smallest positive, non-zero, non-denormalized value of type [float]. *) -val epsilon_float : float +val epsilon : float (** The difference between [1.0] and the smallest exactly representable floating-point number greater than [1.0]. *) |