Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | fun f x = ~ x; |
2 | fun g (x: int) = f x; | |
3 | fun f x = abs x; | |
4 | fun g (x: int) = f x; | |
5 | fun f x = x + x; | |
6 | fun g (x: int) = f x; | |
7 | fun f x = x - x; | |
8 | fun g (x: int) = f x; | |
9 | fun f x = x * x; | |
10 | fun g (x: int) = f x; | |
11 | fun f x = x div x; | |
12 | fun g (x: int) = f x; | |
13 | fun f x = x mod x; | |
14 | fun g (x: int) = f x; | |
15 | fun f x = x < x; | |
16 | fun g (x: int) = f x; | |
17 | fun f x = x <= x; | |
18 | fun g (x: int) = f x; | |
19 | fun f x = x > x; | |
20 | fun g (x: int) = f x; | |
21 | fun f x = x >= x; | |
22 | fun g (x: int) = f x; | |
23 | fun f x = x / x; | |
24 | fun g (x: real) = f x; |