pass.for¶
Deterministically iterate symbols of the selected anchor kind.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | — |
| Traits | UnknownEffects, ImplicitTerminator(pass.yield) |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Attribute | anchor |
enum PassAnchor |
required | — |
| Region | body |
region | required | Body executed once for each selected symbol. (terminator pass.yield.) |