:* | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
:*$ | Data.Type.Natural.Builtin |
:*$$ | Data.Type.Natural.Builtin |
:*$$$ | Data.Type.Natural.Builtin |
:+ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
:+$ | Data.Type.Natural.Builtin |
:+$$ | Data.Type.Natural.Builtin |
:+$$$ | Data.Type.Natural.Builtin |
:- | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
:-$ | Data.Type.Natural.Builtin |
:-$$ | Data.Type.Natural.Builtin |
:-$$$ | Data.Type.Natural.Builtin |
:/= | Data.Type.Natural.Builtin |
:/=$ | Data.Type.Natural.Builtin |
:/=$$ | Data.Type.Natural.Builtin |
:/=$$$ | Data.Type.Natural.Builtin |
:< | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
:<$ | Data.Type.Natural.Builtin |
:<$$ | Data.Type.Natural.Builtin |
:<$$$ | Data.Type.Natural.Builtin |
:<= | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
:<=$ | Data.Type.Natural.Builtin |
:<=$$ | Data.Type.Natural.Builtin |
:<=$$$ | Data.Type.Natural.Builtin |
:== | Data.Type.Natural.Builtin |
:==$ | Data.Type.Natural.Builtin |
:==$$ | Data.Type.Natural.Builtin |
:==$$$ | Data.Type.Natural.Builtin |
:> | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
:>$ | Data.Type.Natural.Builtin |
:>$$ | Data.Type.Natural.Builtin |
:>$$$ | Data.Type.Natural.Builtin |
:>= | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
:>=$ | Data.Type.Natural.Builtin |
:>=$$ | Data.Type.Natural.Builtin |
:>=$$$ | Data.Type.Natural.Builtin |