Previous: Loop instantiations and connections, Up: Loops
Do NOT write PRS bodies inside loops, the semantics are currently undefined. The PRS sub-language includes a similar loop syntax, described in PRS Loop Rules.