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