]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | true: -> Bool |
2 | false: -> Bool | |
3 | \not __: Bool -> Bool | |
4 | __ \and __: Bool, Bool -> Bool | |
5 | __ \or __: Bool, Bool -> Bool | |
6 | __ \implies __: Bool, Bool -> Bool | |
7 | __ \eq __: Bool, Bool -> Bool | |
8 | __ \eq __: Int, Int -> Bool | |
9 | __ \eq __: double, double -> Bool | |
10 | __ \eq __: float, float -> Bool | |
11 | __ \eq __: _char_Vec, _char_Vec -> Bool | |
12 | __ \eq __: char, char -> Bool | |
13 | __ \neq __: Bool, Bool -> Bool | |
14 | __ \neq __: Int, Int -> Bool | |
15 | __ \neq __: double, double -> Bool | |
16 | __ \neq __: float, float -> Bool | |
17 | __ \neq __: _char_Vec, _char_Vec -> Bool | |
18 | __ \neq __: char, char -> Bool | |
19 | if __ then __ else __: Bool, Bool, Bool -> Bool | |
20 | if __ then __ else __: Bool, Int, Int -> Int | |
21 | if __ then __ else __: Bool, double, double -> double | |
22 | if __ then __ else __: Bool, float, float -> float | |
23 | if __ then __ else __: Bool, _char_Vec, _char_Vec -> _char_Vec | |
24 | if __ then __ else __: Bool, char, char -> char | |
25 | __ |- __: _char_Vec, char -> _char_Vec | |
26 | __ -| __: char, _char_Vec -> _char_Vec | |
27 | __ \leq __: Int, Int -> Bool | |
28 | __ \leq __: double, double -> Bool | |
29 | __ \leq __: float, float -> Bool | |
30 | __ \geq __: Int, Int -> Bool | |
31 | __ \geq __: double, double -> Bool | |
32 | __ \geq __: float, float -> Bool | |
33 | succ: Int -> Int | |
34 | pred: Int -> Int | |
35 | - __: Int -> Int | |
36 | __ - __: Int, Int -> Int | |
37 | - __: double -> double | |
38 | __ - __: double, double -> double | |
39 | - __: float -> float | |
40 | __ - __: float, float -> float | |
41 | __ + __: Int, Int -> Int | |
42 | __ + __: double, double -> double | |
43 | __ + __: float, float -> float | |
44 | __ * __: Int, Int -> Int | |
45 | __ * __: double, double -> double | |
46 | __ * __: float, float -> float | |
47 | __ < __: Int, Int -> Bool | |
48 | __ < __: double, double -> Bool | |
49 | __ < __: float, float -> Bool | |
50 | __ > __: Int, Int -> Bool | |
51 | __ > __: double, double -> Bool | |
52 | __ > __: float, float -> Bool | |
53 | abs: Int -> Int | |
54 | abs: double -> double | |
55 | abs: float -> float | |
56 | div: Int, Int -> Int | |
57 | mod: Int, Int -> Int | |
58 | min: Int, Int -> Int | |
59 | max: Int, Int -> Int | |
60 | 0: -> Int | |
61 | 0: -> double | |
62 | 0: -> float | |
63 | 1: -> Int | |
64 | 1: -> double | |
65 | 1: -> float | |
66 | __ \inv: double -> double | |
67 | __ \inv: float -> float | |
68 | __ / __: double, double -> double | |
69 | __ / __: float, float -> float | |
70 | empty: -> _char_Vec | |
71 | __ || __: _char_Vec, _char_Vec -> _char_Vec | |
72 | __ \in __: char, _char_Vec -> Bool | |
73 | count: char, _char_Vec -> Int | |
74 | head: _char_Vec -> char | |
75 | init: _char_Vec -> _char_Vec | |
76 | isEmpty: _char_Vec -> Bool | |
77 | last: _char_Vec -> char | |
78 | len: _char_Vec -> Int | |
79 | prefix: _char_Vec, Int -> _char_Vec | |
80 | removePrefix: _char_Vec, Int -> _char_Vec | |
81 | substring: _char_Vec, Int, Int -> _char_Vec | |
82 | tail: _char_Vec -> _char_Vec | |
83 | null: -> char | |
84 | nullTerminated: _char_Vec -> Bool | |
85 | throughNull: _char_Vec -> _char_Vec | |
86 | sameStr: _char_Vec, _char_Vec -> Bool | |
87 | lenStr: _char_Vec -> Int | |
88 | times10plus: Int, Int -> Int | |
89 | plus1: Int -> Int | |
90 | 2: -> Int | |
91 | 3: -> Int | |
92 | 4: -> Int | |
93 | 5: -> Int | |
94 | 6: -> Int | |
95 | 7: -> Int | |
96 | 8: -> Int | |
97 | 9: -> Int | |
98 | __ [ __ ]: _char_Vec, Int -> char | |
99 | { __ }: char -> _char_Vec |