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
36 __ - __: Int, Int -> Int
37 - __: double -> double
38 __ - __: double, double -> double
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
66 __ \inv: double -> double
67 __ \inv: float -> float
68 __ / __: double, double -> double
69 __ / __: float, float -> float
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
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
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
98 __ [ __ ]: _char_Vec, Int -> char
99 { __ }: char -> _char_Vec