Index
| Clamp | I |
| clamp | I |
| Discrete | I |
| Div | I |
| div | I |
| div' | I |
| down | I |
| from | I |
| I | I |
| inhabitant | I |
| Interval | I |
| IntervalCtx | I |
| Known | I |
| known | I |
| known' | I |
| KnownCtx | I |
| L | I |
| max | I |
| MaxI | I |
| MaxR | I |
| MaxT | I |
| min | I |
| MinI | I |
| MinL | I |
| MinT | I |
| Minus | I |
| minus | I |
| minus' | I |
| Mult | I |
| mult | I |
| mult' | I |
| Negate | I |
| negate | I |
| negate' | I |
| One | I |
| one | I |
| Plus | I |
| plus | I |
| plus' | I |
| Pred | I |
| pred | I |
| pred' | I |
| R | I |
| recip' | I |
| Shove | I |
| shove | I |
| single | I |
| Succ | I |
| succ | I |
| succ' | I |
| T | I |
| unsafe | I |
| unsafest | I |
| unwrap | I |
| Up | I |
| up | I |
| With | I |
| with | I |
| wrap | I |
| Zero | I |
| zero | I |