CmpNat | Data.Type.Natural, Data.Type.Natural.Builtin |
cmpSucc | Data.Type.Natural.Lemma.Order |
cmpSuccStepR | Data.Type.Natural.Lemma.Order |
cmpZero | Data.Type.Natural.Lemma.Order |
cmpZero' | Data.Type.Natural.Lemma.Order |
coerceLeqL | Data.Type.Natural.Lemma.Order |
coerceLeqR | Data.Type.Natural.Lemma.Order |
compareCongR | Data.Type.Natural.Lemma.Order |
congFlipOrdering | Data.Type.Natural.Lemma.Order |