From 0d1f9ff76aa6df3f17edd2d73c76ab444fec8528 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 2 Jan 2017 17:56:04 +0100 Subject: Corrected some issues with odf documents --- dataType.ml | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'dataType.ml') diff --git a/dataType.ml b/dataType.ml index 3937465..2fcbd0d 100755 --- a/dataType.ml +++ b/dataType.ml @@ -109,6 +109,10 @@ module Num = struct | NAN -> NAN | N n1 -> N (Num.abs_num n1) + let neg = function + | NAN -> NAN + | N n1 -> N (Num.minus_num n1) + end module Bool = struct -- cgit v1.2.3