Zero | |
1 (Type/Class) | Data.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin |
2 (Data Constructor) | Data.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin |
ZeroLeq | Data.Type.Natural.Lemma.Order |
zeroNoLT | Data.Type.Natural.Lemma.Order |
ZeroOrSucc | Data.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin |
zeroOrSucc | Data.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin |