From 678bb5c2500be0071117600f23e5a557c39fb403 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 9 Nov 2017 21:43:45 +0100
Subject: Added some functions

---
 dataType.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dataType.mli')

diff --git a/dataType.mli b/dataType.mli
index 5397fdb..2589e68 100755
--- a/dataType.mli
+++ b/dataType.mli
@@ -44,6 +44,7 @@ module Num: sig
   val abs: t -> t
 
   val floor: t -> t
+  val round_down: t -> t
 
   val gcd: t -> t -> t
   val lcm: t -> t -> t
-- 
cgit v1.2.3