diff options
| author | Pierre Roux | 2018-08-28 18:56:07 +0200 |
|---|---|---|
| committer | Pierre Roux | 2019-11-01 10:20:35 +0100 |
| commit | d18b928154a48ff8d90aaff69eca7d6eb3dfa0ab (patch) | |
| tree | 9cc9b39b16849ed839f4adf7b19e3d3291f7dd98 /kernel/float64.mli | |
| parent | 79605dabb10e889ae998bf72c8483f095277e693 (diff) | |
Implement classify on primitive float
Diffstat (limited to 'kernel/float64.mli')
| -rw-r--r-- | kernel/float64.mli | 5 |
1 files changed, 5 insertions, 0 deletions
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 |