Nat | Data.Type.Natural, Data.Type.Natural.Builtin |
naturalToOrd | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |
naturalToOrd' | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |
natVal | Data.Type.Natural, Data.Type.Natural.Builtin |
natVal' | Data.Type.Natural, Data.Type.Natural.Builtin |
NonEqual | Data.Type.Natural, Data.Type.Natural.Builtin |
notLeqToLeq | Data.Type.Natural.Lemma.Order |