< | Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin |
<= | Data.Type.Natural, Data.Type.Natural.Builtin |
<=? | Data.Type.Natural, Data.Type.Natural.Builtin |
<? | Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin |