| 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 |
andersk / splint.git / blame