base.iter.IterScanner[E:imm,mut,read,R:imm,mut,read,S:imm,mut,read]

mut #(state: mut base.Var[S], e: E): S,
mut #(state: mut base.Var[S], e: E): S,