From 87a6ab4f9ac7b2b2c0438a724bfe971ec9231714 Mon Sep 17 00:00:00 2001
From: Karen Sargsyan <karsar@ibms.sinica.edu.tw>
Date: Sun, 22 May 2016 15:32:40 +0800
Subject: asin, acos, atan, atan2 added

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

(limited to 'lib/ur')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 45a17eb1..c1ee28b3 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -160,6 +160,10 @@ val sin : float -> float
 val cos : float -> float
 val log : float -> float
 val exp : float -> float
+val asin : float -> float
+val acos : float -> float
+val atan : float -> float
+val atan2 : float -> float -> float
 
 (** * Time *)
 
-- 
cgit v1.2.3