base.iter.IterPredicate[E]

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