From 6133877fc097412233a60740fdf94374abb79559 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Wed, 20 Feb 2019 18:00:04 +0100
Subject: Add primitive floats to checker

---
 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 1e6ea8bb96..927594115e 100644
--- a/kernel/float64.mli
+++ b/kernel/float64.mli
@@ -87,3 +87,6 @@ val hash : t -> int
 
 (** Total order relation over float values. Behaves like [Pervasives.compare].*)
 val total_compare : t -> t -> int
+
+val is_float64 : Obj.t -> bool
+[@@ocaml.inline always]
-- 
cgit v1.2.3