| %* | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| %** | Data.Type.Natural |
| %+ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| %- | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| %-. | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| %/= | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| %< | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| %<= | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| %== | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| %> | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| %>= | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| * | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| ** | Data.Type.Natural |
| *@#@$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| *@#@$$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| *@#@$$$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| + | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| +@#@$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| +@#@$$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| +@#@$$$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| - | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| -. | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| -@#@$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| -@#@$$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| -@#@$$$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| /= | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| /=@#@$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| /=@#@$$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| /=@#@$$$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| < | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| <= | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| <=@#@$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| <=@#@$$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| <=@#@$$$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| <@#@$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| <@#@$$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| <@#@$$$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| == | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| ==@#@$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| ==@#@$$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| ==@#@$$$ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| > | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| >= | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| >=@#@$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| >=@#@$$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| >=@#@$$$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| >@#@$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| >@#@$$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| >@#@$$$ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| @+ | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| @@ | |
| 1 (Type/Class) | Data.Type.Natural |
| 2 (Function) | Data.Type.Natural |
| @@@#@$ | Data.Type.Natural |
| @@@#@$$ | Data.Type.Natural |
| @@@#@$$$ | Data.Type.Natural |
| 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 |
| ApplySym0 | Data.Type.Natural |
| ApplySym1 | Data.Type.Natural |
| ApplySym2 | Data.Type.Natural |
| boolToClassLeq | Data.Type.Natural |
| boolToPropLeq | Data.Type.Natural |
| cmpSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| cmpSuccStepR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| cmpZero | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| cmpZero' | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| coerceLeqL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| coerceLeqR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| Compare | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| CompareSym0 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| CompareSym1 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| CompareSym2 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| Comparing | Data.Type.Natural.Builtin |
| ComparingSym0 | Data.Type.Natural.Builtin |
| ComparingSym1 | Data.Type.Natural.Builtin |
| ComparingSym2 | Data.Type.Natural.Builtin |
| ComparingSym3 | Data.Type.Natural.Builtin |
| Demote | Data.Type.Natural |
| demote | Data.Type.Natural |
| DemoteSym0 | Data.Type.Natural |
| DemoteSym1 | Data.Type.Natural |
| DiffNat | |
| 1 (Type/Class) | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| 2 (Data Constructor) | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| Eight | Data.Type.Natural |
| eight | Data.Type.Natural |
| Eighteen | Data.Type.Natural |
| eighteen | Data.Type.Natural |
| EighteenSym0 | Data.Type.Natural |
| EightSym0 | Data.Type.Natural |
| Eleven | Data.Type.Natural |
| eleven | Data.Type.Natural |
| ElevenSym0 | Data.Type.Natural |
| enumOrdinal | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| eqlCmpEQ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| EQSym0 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| eqToRefl | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| 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 |
| geqToMax | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| geqToMin | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| GTSym0 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| gtToLeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| HasOrdinal | Data.Type.Ordinal |
| inclusion | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| inclusion' | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| induction | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| inductionNat | Data.Type.Natural.Builtin |
| intToNat | Data.Type.Natural |
| IsPeano | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| IsSucc | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| IsZero | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| KindOf | Data.Type.Natural |
| KindOfSym0 | Data.Type.Natural |
| KindOfSym1 | Data.Type.Natural |
| Leq | Data.Type.Natural |
| leqAntisymm | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| LeqInstance | Data.Type.Natural |
| leqNeqToLT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqNeqToSuccLeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqqAndLeq | Data.Type.Natural.Builtin |
| leqRefl | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqReflexive | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqReversed | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqStep | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| LeqSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| leqSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqSucc' | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqSuccStepL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqSuccStepR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqToCmp | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqToGT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqToLT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqToMax | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqToMin | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqTrans | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| LeqView | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| leqViewRefl | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqWitness | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| LeqZero | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| leqZero | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| leqZeroElim | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| lneqReversed | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| lneqRightPredSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| lneqSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| lneqSuccLeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| lneqSuccStepL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| lneqSuccStepR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| lneqToLT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| lneqZero | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| lneqZeroAbsurd | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| ltRightPredSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| ltSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| ltSuccLToLT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| LTSym0 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| ltToLeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| ltToLneq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| ltToNeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| ltToSuccLeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| Max | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| max | Data.Type.Natural |
| maxComm | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| maxLeast | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| maxLeqL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| maxLeqR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| MaxSym0 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| MaxSym1 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| MaxSym2 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| maxZeroL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| maxZeroR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| Min | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| min | Data.Type.Natural |
| minComm | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| minLargest | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| minLeqL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| minLeqR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| minPlusTruncMinus | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| MinSym0 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| MinSym1 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| MinSym2 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| minusCong | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| minusCongL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| minusCongR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| minusNilpotent | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| minusPlus | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| minusSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| minusZero | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| minZeroL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| minZeroR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| mkOrdinalQQ | Data.Type.Ordinal |
| mkSNatQQ | Data.Type.Natural.Class |
| multAssoc | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multComm | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multCong | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural |
| multCongL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural |
| multCongR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural |
| multEqCancelL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multEqCancelR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multEqSuccElimL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multEqSuccElimR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multOneL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multOneR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multPlusDistrib | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multSuccL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multSuccR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multZeroL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| multZeroR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| N0 | Data.Type.Natural |
| n0 | Data.Type.Natural |
| N0Sym0 | Data.Type.Natural |
| N1 | Data.Type.Natural |
| n1 | Data.Type.Natural |
| N10 | Data.Type.Natural |
| n10 | Data.Type.Natural |
| N10Sym0 | Data.Type.Natural |
| N11 | Data.Type.Natural |
| n11 | Data.Type.Natural |
| N11Sym0 | Data.Type.Natural |
| N12 | Data.Type.Natural |
| n12 | Data.Type.Natural |
| N12Sym0 | Data.Type.Natural |
| N13 | Data.Type.Natural |
| n13 | Data.Type.Natural |
| N13Sym0 | Data.Type.Natural |
| N14 | Data.Type.Natural |
| n14 | Data.Type.Natural |
| N14Sym0 | Data.Type.Natural |
| N15 | Data.Type.Natural |
| n15 | Data.Type.Natural |
| N15Sym0 | Data.Type.Natural |
| N16 | Data.Type.Natural |
| n16 | Data.Type.Natural |
| N16Sym0 | Data.Type.Natural |
| N17 | Data.Type.Natural |
| n17 | Data.Type.Natural |
| N17Sym0 | Data.Type.Natural |
| N18 | Data.Type.Natural |
| n18 | Data.Type.Natural |
| N18Sym0 | Data.Type.Natural |
| N19 | Data.Type.Natural |
| n19 | Data.Type.Natural |
| N19Sym0 | Data.Type.Natural |
| N1Sym0 | Data.Type.Natural |
| N2 | Data.Type.Natural |
| n2 | Data.Type.Natural |
| N20 | Data.Type.Natural |
| n20 | Data.Type.Natural |
| N20Sym0 | Data.Type.Natural |
| N2Sym0 | Data.Type.Natural |
| N3 | Data.Type.Natural |
| n3 | Data.Type.Natural |
| N3Sym0 | Data.Type.Natural |
| N4 | Data.Type.Natural |
| n4 | Data.Type.Natural |
| N4Sym0 | Data.Type.Natural |
| N5 | Data.Type.Natural |
| n5 | Data.Type.Natural |
| N5Sym0 | Data.Type.Natural |
| N6 | Data.Type.Natural |
| n6 | Data.Type.Natural |
| N6Sym0 | Data.Type.Natural |
| N7 | Data.Type.Natural |
| n7 | Data.Type.Natural |
| N7Sym0 | Data.Type.Natural |
| N8 | Data.Type.Natural |
| n8 | Data.Type.Natural |
| N8Sym0 | Data.Type.Natural |
| N9 | Data.Type.Natural |
| n9 | Data.Type.Natural |
| N9Sym0 | Data.Type.Natural |
| Nat | Data.Type.Natural |
| nat | Data.Type.Natural |
| natToInt | Data.Type.Natural |
| naturalToOrd | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| naturalToOrd' | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| Negate | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| NegateSym0 | Data.Type.Natural.Builtin |
| NegateSym1 | Data.Type.Natural.Builtin |
| Nine | Data.Type.Natural |
| nine | Data.Type.Natural |
| NineSym0 | Data.Type.Natural |
| Nineteen | Data.Type.Natural |
| nineteen | Data.Type.Natural |
| NineteenSym0 | Data.Type.Natural |
| nonSLeqToLT | Data.Type.Natural |
| notLeqToLeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| od | |
| 1 (Function) | Data.Type.Ordinal.Builtin |
| 2 (Function) | Data.Type.Ordinal.Peano |
| odLit | Data.Type.Ordinal |
| odPN | Data.Type.Ordinal |
| OLt | |
| 1 (Data Constructor) | Data.Type.Ordinal |
| 2 (Data Constructor) | Data.Type.Ordinal.Builtin |
| 3 (Data Constructor) | Data.Type.Ordinal.Peano |
| One | |
| 1 (Type/Class) | Data.Type.Natural |
| 2 (Type/Class) | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| one | Data.Type.Natural |
| OneSym0 | Data.Type.Natural |
| Ordinal | |
| 1 (Type/Class) | Data.Type.Ordinal |
| 2 (Type/Class) | Data.Type.Ordinal.Builtin |
| 3 (Type/Class) | Data.Type.Ordinal.Peano |
| ordToInt | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| ordToNatural | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| ordToSing | Data.Type.Ordinal |
| OS | |
| 1 (Data Constructor) | Data.Type.Ordinal |
| 2 (Data Constructor) | Data.Type.Ordinal.Builtin |
| 3 (Data Constructor) | Data.Type.Ordinal.Peano |
| OZ | |
| 1 (Data Constructor) | Data.Type.Ordinal |
| 2 (Data Constructor) | Data.Type.Ordinal.Builtin |
| 3 (Data Constructor) | Data.Type.Ordinal.Peano |
| Peano | Data.Type.Natural.Builtin |
| PeanoOrder | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| PEq | Data.Type.Natural.Builtin |
| plusAssoc | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusCancelLeqL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| plusCancelLeqR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| plusComm | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusCong | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural |
| plusCongL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural |
| plusCongR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural |
| plusEqCancelL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusEqCancelR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusEqZeroL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusEqZeroR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusInjectiveL | Data.Type.Natural |
| plusInjectiveR | Data.Type.Natural |
| plusLeqL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| plusLeqR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| plusMinus | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusMinus' | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusMinusEqL | Data.Type.Natural |
| plusMonotone | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| plusMonotoneL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| plusMonotoneR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| plusMultDistrib | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusNeutralL | Data.Type.Natural |
| plusNeutralR | Data.Type.Natural |
| plusStrictMonotone | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| plusSuccL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusSuccR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusZeroL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| plusZeroR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| PNum | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| POrd | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| predSucc | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| predUnique | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| propToBoolLeq | Data.Type.Natural |
| propToClassLeq | Data.Type.Natural |
| Proxy | |
| 1 (Data Constructor) | Data.Type.Natural |
| 2 (Type/Class) | Data.Type.Natural |
| reallyUnsafeNaturalToOrd | Data.Type.Ordinal |
| reflToSEqual | Data.Type.Natural |
| S | |
| 1 (Data Constructor) | Data.Type.Natural |
| 2 (Type/Class) | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| sAbs | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| SameKind | Data.Type.Natural |
| SameKindSym0 | Data.Type.Natural |
| SameKindSym1 | Data.Type.Natural |
| SameKindSym2 | Data.Type.Natural |
| sCompare | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| sComparing | Data.Type.Natural.Builtin |
| sEight | Data.Type.Natural |
| sEighteen | Data.Type.Natural |
| sEleven | Data.Type.Natural |
| SEQ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| SEq | Data.Type.Natural.Builtin |
| Seven | Data.Type.Natural |
| seven | Data.Type.Natural |
| SevenSym0 | Data.Type.Natural |
| Seventeen | Data.Type.Natural |
| seventeen | Data.Type.Natural |
| SeventeenSym0 | Data.Type.Natural |
| sFifteen | Data.Type.Natural |
| sFive | Data.Type.Natural |
| sFlipOrdering | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| sFour | Data.Type.Natural |
| sFourteen | Data.Type.Natural |
| sFromInteger | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| sFromPeano | Data.Type.Natural.Builtin |
| SGT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| Signum | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| SignumSym0 | Data.Type.Natural.Builtin |
| SignumSym1 | Data.Type.Natural.Builtin |
| Sing | |
| 1 (Type/Class) | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| 2 (Data Constructor) | Data.Type.Natural |
| sing | Data.Type.Natural |
| singByProxy | Data.Type.Natural |
| singByProxy# | Data.Type.Natural |
| singFun1 | Data.Type.Natural |
| singFun2 | Data.Type.Natural |
| singFun3 | Data.Type.Natural |
| singFun4 | Data.Type.Natural |
| singFun5 | Data.Type.Natural |
| singFun6 | Data.Type.Natural |
| singFun7 | Data.Type.Natural |
| singFun8 | Data.Type.Natural |
| SingFunction1 | Data.Type.Natural |
| SingFunction2 | Data.Type.Natural |
| SingFunction3 | Data.Type.Natural |
| SingFunction4 | Data.Type.Natural |
| SingFunction5 | Data.Type.Natural |
| SingFunction6 | Data.Type.Natural |
| SingFunction7 | Data.Type.Natural |
| SingFunction8 | Data.Type.Natural |
| SingI | Data.Type.Natural |
| SingInstance | |
| 1 (Data Constructor) | Data.Type.Natural |
| 2 (Type/Class) | Data.Type.Natural |
| singInstance | Data.Type.Natural |
| SingKind | Data.Type.Natural |
| singThat | Data.Type.Natural |
| Six | Data.Type.Natural |
| six | Data.Type.Natural |
| SixSym0 | Data.Type.Natural |
| Sixteen | Data.Type.Natural |
| sixteen | Data.Type.Natural |
| SixteenSym0 | Data.Type.Natural |
| SLambda | Data.Type.Natural |
| SLambda2 | Data.Type.Natural |
| SLambda3 | Data.Type.Natural |
| SLambda4 | Data.Type.Natural |
| SLambda5 | Data.Type.Natural |
| SLambda6 | Data.Type.Natural |
| SLambda7 | Data.Type.Natural |
| SLambda8 | Data.Type.Natural |
| sLeqCong | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| sLeqCongL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| sLeqCongR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| sLeqReflexive | Data.Type.Natural |
| SLT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| sMax | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| sMin | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| sN0 | Data.Type.Natural |
| sN1 | Data.Type.Natural |
| sN10 | Data.Type.Natural |
| sN11 | Data.Type.Natural |
| sN12 | Data.Type.Natural |
| sN13 | Data.Type.Natural |
| sN14 | Data.Type.Natural |
| sN15 | Data.Type.Natural |
| sN16 | Data.Type.Natural |
| sN17 | Data.Type.Natural |
| sN18 | Data.Type.Natural |
| sN19 | Data.Type.Natural |
| sN2 | Data.Type.Natural |
| sN20 | Data.Type.Natural |
| sN3 | Data.Type.Natural |
| sN4 | Data.Type.Natural |
| sN5 | Data.Type.Natural |
| sN6 | Data.Type.Natural |
| sN7 | Data.Type.Natural |
| sN8 | Data.Type.Natural |
| sN9 | Data.Type.Natural |
| SNat | Data.Type.Natural |
| snat | |
| 1 (Function) | Data.Type.Natural |
| 2 (Function) | Data.Type.Natural.Builtin |
| sNatToInt | Data.Type.Natural |
| sNatToOrd | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| sNatToOrd' | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| sNegate | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| snEqZAbsurd | Data.Type.Natural |
| sNine | Data.Type.Natural |
| sNineteen | Data.Type.Natural |
| SNum | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| SomeSing | |
| 1 (Data Constructor) | Data.Type.Natural |
| 2 (Type/Class) | Data.Type.Natural |
| sOne | |
| 1 (Function) | Data.Type.Natural |
| 2 (Function) | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| SOrd | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| sPred' | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| SS | Data.Type.Natural |
| sSeven | Data.Type.Natural |
| sSeventeen | Data.Type.Natural |
| sSignum | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| sSix | Data.Type.Natural |
| sSixteen | Data.Type.Natural |
| sSubtract | Data.Type.Natural.Builtin |
| SSym0 | Data.Type.Natural |
| SSym1 | Data.Type.Natural |
| sTen | Data.Type.Natural |
| sThenCmp | Data.Type.Natural.Builtin |
| sThirteen | Data.Type.Natural |
| sThree | Data.Type.Natural |
| sToPeano | Data.Type.Natural.Builtin |
| sTwelve | Data.Type.Natural |
| sTwenty | Data.Type.Natural |
| sTwo | Data.Type.Natural |
| Subtract | Data.Type.Natural.Builtin |
| SubtractSym0 | Data.Type.Natural.Builtin |
| SubtractSym1 | Data.Type.Natural.Builtin |
| SubtractSym2 | Data.Type.Natural.Builtin |
| Succ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| succAndPlusOneL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| succAndPlusOneR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| succCong | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| succInj | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| succInj' | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| succLeqAbsurd | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| succLeqAbsurd' | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| SuccLeqSucc | Data.Type.Natural |
| succLeqToLT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| succLeqZeroAbsurd | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| succLeqZeroAbsurd' | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| succLneqSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| succNonCyclic | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| succOneCong | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| succPred | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| SZ | Data.Type.Natural |
| sZero | |
| 1 (Function) | Data.Type.Natural |
| 2 (Function) | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| Ten | Data.Type.Natural |
| ten | Data.Type.Natural |
| TenSym0 | Data.Type.Natural |
| ThenCmp | Data.Type.Natural.Builtin |
| thenCmp | Data.Type.Natural.Builtin |
| ThenCmpSym0 | Data.Type.Natural.Builtin |
| ThenCmpSym1 | Data.Type.Natural.Builtin |
| ThenCmpSym2 | Data.Type.Natural.Builtin |
| Thirteen | Data.Type.Natural |
| thirteen | Data.Type.Natural |
| ThirteenSym0 | Data.Type.Natural |
| Three | Data.Type.Natural |
| three | Data.Type.Natural |
| ThreeSym0 | Data.Type.Natural |
| toFromPeano | Data.Type.Natural.Builtin |
| toNatural | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| ToPeano | Data.Type.Natural.Builtin |
| toPeanoInjective | Data.Type.Natural.Builtin |
| toPeanoMonotone | Data.Type.Natural.Builtin |
| toPeanoMultCong | Data.Type.Natural.Builtin |
| toPeanoOneCong | Data.Type.Natural.Builtin |
| toPeanoPlusCong | Data.Type.Natural.Builtin |
| toPeanoSuccCong | Data.Type.Natural.Builtin |
| toPeanoZeroCong | Data.Type.Natural.Builtin |
| toSing | Data.Type.Natural |
| truncMinusLeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| Twelve | Data.Type.Natural |
| twelve | Data.Type.Natural |
| TwelveSym0 | Data.Type.Natural |
| Twenty | Data.Type.Natural |
| twenty | Data.Type.Natural |
| TwentySym0 | Data.Type.Natural |
| Two | Data.Type.Natural |
| two | Data.Type.Natural |
| TwoSym0 | Data.Type.Natural |
| TyCon | Data.Type.Natural |
| TyCon1 | Data.Type.Natural |
| TyCon2 | Data.Type.Natural |
| TyCon3 | Data.Type.Natural |
| TyCon4 | Data.Type.Natural |
| TyCon5 | Data.Type.Natural |
| TyCon6 | Data.Type.Natural |
| TyCon7 | Data.Type.Natural |
| TyCon8 | Data.Type.Natural |
| TyFun | Data.Type.Natural |
| unsafeFromInt | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| unsafeFromInt' | Data.Type.Ordinal |
| unsafeNaturalToOrd | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| unsafeNaturalToOrd' | Data.Type.Ordinal |
| unSingFun1 | Data.Type.Natural |
| unSingFun2 | Data.Type.Natural |
| unSingFun3 | Data.Type.Natural |
| unSingFun4 | Data.Type.Natural |
| unSingFun5 | Data.Type.Natural |
| unSingFun6 | Data.Type.Natural |
| unSingFun7 | Data.Type.Natural |
| unSingFun8 | Data.Type.Natural |
| vacuousOrd | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| viewLeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| withSing | Data.Type.Natural |
| withSingI | Data.Type.Natural |
| withSomeSing | Data.Type.Natural |
| Z | Data.Type.Natural |
| Zero | |
| 1 (Type/Class) | Data.Type.Natural |
| 2 (Type/Class) | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| 3 (Data Constructor) | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| zero | Data.Type.Natural |
| ZeroLeq | Data.Type.Natural |
| zeroNoLT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| ZeroOrSucc | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
| zeroOrSucc | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| ZeroSym0 | Data.Type.Natural |
| ZSym0 | Data.Type.Natural |
| ~> | Data.Type.Natural |
| ~>@#@$ | Data.Type.Natural |
| ~>@#@$$ | Data.Type.Natural |
| ~>@#@$$$ | Data.Type.Natural |