A role type can be used as the
argument to a
foreach,
do or
dowhile loop. It can also be used as a
condition in
if statements, either on
its own or as part of a chain clause, including as the final element. A role
type can also be used as part of a chain output command, but there the final
element must be a
property.
