| AbsoluteDifference | Integer.AbsoluteDifference, Integer |
| absoluteDifference | Integer.AbsoluteDifference, Integer |
| addOne | |
| 1 (Function) | Integer.Positive |
| 2 (Function) | Integer.Signed |
| 3 (Function) | Integer.Natural |
| BoundedBelow | Integer.BoundedBelow, Integer |
| convert | Integer.Conversion, Integer |
| ConvertWithFinite | Integer.Finite, Integer |
| Finite | Integer.Finite, Integer |
| fromFinite | Integer.Finite, Integer |
| fromInt | |
| 1 (Function) | Integer.Signed |
| 2 (Function) | Integer.Positive |
| 3 (Function) | Integer.Natural |
| 4 (Function) | Integer.Integer |
| 5 (Function) | Integer.Finite, Integer |
| fromInteger | |
| 1 (Function) | Integer.Signed |
| 2 (Function) | Integer.Positive |
| 3 (Function) | Integer.Natural |
| fromNatural | |
| 1 (Function) | Integer.Signed |
| 2 (Function) | Integer.Positive |
| 3 (Function) | Integer.Integer |
| fromPositive | |
| 1 (Function) | Integer.Signed |
| 2 (Function) | Integer.Natural |
| 3 (Function) | Integer.Integer |
| fromSigned | |
| 1 (Function) | Integer.Positive |
| 2 (Function) | Integer.Natural |
| 3 (Function) | Integer.Integer |
| fromWord | |
| 1 (Function) | Integer.Signed |
| 2 (Function) | Integer.Positive |
| 3 (Function) | Integer.Natural |
| 4 (Function) | Integer.Integer |
| 5 (Function) | Integer.Finite, Integer |
| Increase | Integer.Increase, Integer |
| increase | |
| 1 (Function) | Integer.Positive |
| 2 (Function) | Integer.Signed |
| 3 (Function) | Integer.Integer |
| 4 (Function) | Integer.Increase, Integer |
| Integer | Integer.Integer, Integer |
| IntegerConvert | Integer.Conversion, Integer |
| IntegerEquiv | Integer.Conversion, Integer |
| IntegerNarrow | Integer.Conversion, Integer |
| length | |
| 1 (Function) | Integer.Positive |
| 2 (Function) | Integer.Natural |
| minBound | Integer.BoundedBelow, Integer |
| Minus | Integer.Signed, Integer |
| MinusSign | Integer.Sign, Integer |
| multiply | Integer.Sign |
| narrow | Integer.Conversion, Integer |
| Natural | Integer.Natural, Integer |
| negate | Integer.Sign |
| NonZero | Integer.Signed, Integer |
| NotMinus | Integer.Signed |
| NotPlus | Integer.Signed |
| one | |
| 1 (Function) | Integer.Positive |
| 2 (Function) | Integer.Signed |
| 3 (Function) | Integer.Natural |
| Plus | Integer.Signed, Integer |
| PlusSign | Integer.Sign, Integer |
| Positive | Integer.Positive, Integer |
| Sign | Integer.Sign, Integer |
| Signed | Integer.Signed, Integer |
| StrictlyIncrease | Integer.StrictlyIncrease, Integer |
| strictlyIncrease | |
| 1 (Function) | Integer.Signed |
| 2 (Function) | Integer.Natural |
| 3 (Function) | Integer.Integer |
| 4 (Function) | Integer.StrictlyIncrease, Integer |
| subtract | |
| 1 (Function) | Integer.Positive |
| 2 (Function) | Integer.Natural |
| 3 (Function) | Integer.Subtraction, Integer |
| subtractInteger | Integer.Subtraction, Integer |
| Subtraction | Integer.Subtraction, Integer |
| Subtraction' | Integer.Subtraction, Integer |
| subtractOne | |
| 1 (Function) | Integer.Signed |
| 2 (Function) | Integer.Positive |
| 3 (Function) | Integer.Natural |
| subtractSigned | Integer.Subtraction, Integer |
| toFinite | Integer.Finite, Integer |
| toInt | |
| 1 (Function) | Integer.Signed |
| 2 (Function) | Integer.Positive |
| 3 (Function) | Integer.Natural |
| 4 (Function) | Integer.Integer |
| 5 (Function) | Integer.Finite, Integer |
| toInteger | |
| 1 (Function) | Integer.Positive |
| 2 (Function) | Integer.Signed |
| 3 (Function) | Integer.Natural |
| toNatural | |
| 1 (Function) | Integer.Positive |
| 2 (Function) | Integer.Signed |
| 3 (Function) | Integer.Integer |
| toPositive | |
| 1 (Function) | Integer.Signed |
| 2 (Function) | Integer.Natural |
| 3 (Function) | Integer.Integer |
| toSigned | |
| 1 (Function) | Integer.Positive |
| 2 (Function) | Integer.Natural |
| 3 (Function) | Integer.Integer |
| toWord | |
| 1 (Function) | Integer.Signed |
| 2 (Function) | Integer.Positive |
| 3 (Function) | Integer.Natural |
| 4 (Function) | Integer.Integer |
| 5 (Function) | Integer.Finite, Integer |
| yolo | Integer.Conversion, Integer |
| Zero | Integer.Signed, Integer |