1 files changed, 1 insertions, 0 deletions
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