Tag type to identify the iterations of a do-while operator. More...
Tag type to identify the iterations of a do-while operator.