aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/ur
diff options
context:
space:
mode:
authorGravatar Karen Sargsyan <karsar@ibms.sinica.edu.tw>2016-05-22 15:32:40 +0800
committerGravatar Karen Sargsyan <karsar@ibms.sinica.edu.tw>2016-05-22 15:32:40 +0800
commit87a6ab4f9ac7b2b2c0438a724bfe971ec9231714 (patch)
tree5f93f594307574fd32f2bc165b3dfa7715c627a8 /lib/ur
parent22527df1714c83e968913dabba4ba3ec81adc20c (diff)
asin, acos, atan, atan2 added
Diffstat (limited to 'lib/ur')
-rw-r--r--lib/ur/basis.urs4
1 files changed, 4 insertions, 0 deletions
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 *)