From d18b928154a48ff8d90aaff69eca7d6eb3dfa0ab Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Tue, 28 Aug 2018 18:56:07 +0200
Subject: Implement classify on primitive float

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

(limited to 'kernel/float64.mli')

diff --git a/kernel/float64.mli b/kernel/float64.mli
index c82f1d84da..1ad980a691 100644
--- a/kernel/float64.mli
+++ b/kernel/float64.mli
@@ -30,6 +30,11 @@ type float_comparison = FEq | FLt | FGt | FNotComparable
  * NotComparable is returned if there is a NaN in the arguments *)
 val compare : t -> t -> float_comparison
 
+type float_class =
+  | PNormal | NNormal | PSubn | NSubn | PZero | NZero | PInf | NInf | NaN
+
+val classify : t -> float_class
+
 val mul : t -> t -> t
 val add : t -> t -> t
 val sub : t -> t -> t
-- 
cgit v1.2.3