1 files changed, 1 insertions, 0 deletions
diff --git a/dataType.mli b/dataType.mli
index 2589e68..5c89c98 100755
--- a/dataType.mli
+++ b/dataType.mli
@@ -43,6 +43,7 @@ module Num: sig
 
   val abs: t -> t
 
+  val round: t -> t
   val floor: t -> t
   val round_down: t -> t