From ae4778d7a3f4dacde39232b503bd134ce71444ee Mon Sep 17 00:00:00 2001
From: Karen Sargsyan <karsar@ibms.sinica.edu.tw>
Date: Mon, 23 May 2016 17:40:19 +0800
Subject: abs and floor added

---
 lib/ur/basis.urs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index c1ee28b3..1163daed 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -152,6 +152,7 @@ val float : int -> float
 val ceil : float -> int
 val trunc : float -> int
 val round : float -> int
+val floor : float -> int
 
 (** * Basic Math *)
 
@@ -164,6 +165,7 @@ val asin : float -> float
 val acos : float -> float
 val atan : float -> float
 val atan2 : float -> float -> float
+val abs: float -> float
 
 (** * Time *)
 
-- 
cgit v1.2.3