Index - A
| Abs | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| AbsSym0 | Data.Type.Natural.Builtin |
| AbsSym1 | Data.Type.Natural.Builtin |
| absurdOrd | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| Apply | Data.Type.Natural |
| applySing | Data.Type.Natural |