:&& | Data.Type.Natural |
:&&: | Data.Type.Natural |
:* | Data.Type.Natural |
:*: | Data.Type.Natural |
:+ | Data.Type.Natural |
:++ | Data.Type.Natural |
:+: | Data.Type.Natural |
:- | Data.Type.Natural |
:-: | Data.Type.Natural |
:/= | Data.Type.Natural |
:/=: | Data.Type.Natural |
:<<= | Data.Type.Natural |
:<= | Data.Type.Natural |
:== | Data.Type.Natural |
:==: | Data.Type.Natural |
:|| | Data.Type.Natural |
:||: | Data.Type.Natural |