From 5f1270242f71a0a1da7c868967e1071d28ed83fb Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Tue, 28 Aug 2018 23:37:49 +0200
Subject: Add next_{up,down} primitive float functions

---
 kernel/float64.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'kernel/float64.mli')

diff --git a/kernel/float64.mli b/kernel/float64.mli
index 1ad980a691..580004126d 100644
--- a/kernel/float64.mli
+++ b/kernel/float64.mli
@@ -49,6 +49,9 @@ val normfr_mantissa : t -> Uint63.t
 val frshiftexp : t -> t * Uint63.t (* float remainder, shifted exponent *)
 val ldshiftexp : t -> Uint63.t -> t
 
+val next_up : t -> t
+val next_down : t -> t
+
 (** Return true if two floats are equal.
  * All NaN values are considered equal. *)
 val equal : t -> t -> bool
-- 
cgit v1.2.3