Index - D
| decrementL | |
| 1 (Function) | Arithmetic.Lte |
| 2 (Function) | Arithmetic.Lt |
| decrementL# | |
| 1 (Function) | Arithmetic.Lte |
| 2 (Function) | Arithmetic.Lt |
| decrementR | |
| 1 (Function) | Arithmetic.Lte |
| 2 (Function) | Arithmetic.Lt |
| decrementR# | |
| 1 (Function) | Arithmetic.Lte |
| 2 (Function) | Arithmetic.Lt |
| demote | |
| 1 (Function) | Arithmetic.Nat |
| 2 (Function) | Arithmetic.Fin |
| demote# | |
| 1 (Function) | Arithmetic.Nat |
| 2 (Function) | Arithmetic.Fin |
| demote32# | Arithmetic.Fin |
| descend | Arithmetic.Fin |
| descend# | Arithmetic.Fin |
| descend' | Arithmetic.Fin |
| descending | Arithmetic.Fin |
| descendingSlice | Arithmetic.Fin |
| descendM | Arithmetic.Fin |
| descendM_ | Arithmetic.Fin |
| Difference | |
| 1 (Type/Class) | Arithmetic.Types |
| 2 (Data Constructor) | Arithmetic.Types |
| divide | Arithmetic.Nat |
| divideRoundingUp | Arithmetic.Nat |