the self type
Curiously recurring template pattern
for the reason why we need the
Self type parameter
The type class to support
An annotation to explicitly perform reset control operator on a code block.
This annotation can be automatically added if ResetEverywhere compiler plug-in is enabled.
An annotation to mark a method is a shift control operator.