base.iter.IterPredicate[E:imm,mut,read]

mut #(e: E): imm base.Bool,
mut #(e: E): imm base.Bool,