Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature MATH = |
2 | sig | |
3 | type real | |
4 | ||
5 | val acos: real -> real | |
6 | val asin: real -> real | |
7 | val atan2: real * real -> real | |
8 | val atan: real -> real | |
9 | val cos: real -> real | |
10 | val cosh: real -> real | |
11 | val e: real | |
12 | val exp: real -> real | |
13 | val ln: real -> real | |
14 | val log10: real -> real | |
15 | val pi: real | |
16 | val pow: real * real -> real | |
17 | val sin: real -> real | |
18 | val sinh: real -> real | |
19 | val sqrt: real -> real | |
20 | val tan: real -> real | |
21 | val tanh: real -> real | |
22 | end |