Index
| * | KindInteger |
| + | KindInteger |
| - | KindInteger |
| /= | KindInteger |
| /=? | KindInteger |
| == | KindInteger |
| ==? | KindInteger |
| CmpInteger | KindInteger |
| cmpInteger | KindInteger |
| Div | KindInteger |
| fromSInteger | KindInteger |
| Integer | KindInteger |
| integerSing | KindInteger |
| integerVal | KindInteger |
| integerVal' | KindInteger |
| KnownInteger | KindInteger |
| Log2 | KindInteger |
| Mod | KindInteger |
| N | KindInteger |
| Negate | KindInteger |
| Normalize | KindInteger |
| P | KindInteger |
| Quot | KindInteger |
| Rem | KindInteger |
| sameInteger | KindInteger |
| SInteger | |
| 1 (Type/Class) | KindInteger |
| 2 (Data Constructor) | KindInteger |
| SomeInteger | |
| 1 (Type/Class) | KindInteger |
| 2 (Data Constructor) | KindInteger |
| someIntegerVal | KindInteger |
| withKnownInteger | KindInteger |
| withSomeSInteger | KindInteger |
| ^ | KindInteger |