> | 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 |