| Fifteen | Data.Type.Natural |
| fifteen | Data.Type.Natural |
| FifteenSym0 | Data.Type.Natural |
| Five | Data.Type.Natural |
| five | Data.Type.Natural |
| FiveSym0 | Data.Type.Natural |
| flipCompare | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| FlipOrdering | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| Four | Data.Type.Natural |
| four | Data.Type.Natural |
| FourSym0 | Data.Type.Natural |
| Fourteen | Data.Type.Natural |
| fourteen | Data.Type.Natural |
| FourteenSym0 | Data.Type.Natural |
| FromInteger | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| FromIntegerSym0 | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| FromIntegerSym1 | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| fromLeqView | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| fromNatural | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| FromPeano | Data.Type.Natural.Builtin |
| fromPeanoInjective | Data.Type.Natural.Builtin |
| fromPeanoMonotone | Data.Type.Natural.Builtin |
| fromPeanoMultCong | Data.Type.Natural.Builtin |
| fromPeanoOneCong | Data.Type.Natural.Builtin |
| fromPeanoPlusCong | Data.Type.Natural.Builtin |
| fromPeanoSuccCong | Data.Type.Natural.Builtin |
| fromPeanoZeroCong | Data.Type.Natural.Builtin |
| FromSing | Data.Type.Natural |
| fromSing | Data.Type.Natural |
| fromToPeano | Data.Type.Natural.Builtin |