Rename to filterfirst - SemanticDiff

Commit

20 days ago

Rename to filterfirst

References

#60913 - Add `filterfirst(f, itr)`: first element of `itr` satisfying `f`

Author

fingolfin

fingolfin

Committer

fingolfin

fingolfin

Parents

Loading