Index - M
| MaybeFin# | |
| 1 (Type/Class) | Arithmetic.Unsafe, Arithmetic.Types |
| 2 (Data Constructor) | Arithmetic.Unsafe |
| MaybeFinJust# | Arithmetic.Types |
| MaybeFinNothing# | Arithmetic.Types |
| monus | Arithmetic.Nat |
Index - M
| MaybeFin# | |
| 1 (Type/Class) | Arithmetic.Unsafe, Arithmetic.Types |
| 2 (Data Constructor) | Arithmetic.Unsafe |
| MaybeFinJust# | Arithmetic.Types |
| MaybeFinNothing# | Arithmetic.Types |
| monus | Arithmetic.Nat |