散射（scatter）自动生成

简述

只能在 scatter 模式中使用：额外发出一对（地址, 值）。

方法

返回	函数	需要能力
`P`	emit `(pair: P)`	`field.write`

方法说明

emit

emit(pair: P) -> P

Gives a scatter one more pair, a struct of an address into its target and a value of its element, as it returns one: an element’s pairs are the ones it emits, in order, then the one it returns, and an address outside the target is dropped. Scatter only, from its body, under min, max, or a sum of integers, whose answer is the same in any order.

需要能力: field.write · 只能在 Kernel 主体中调用