of_fn): last_of_fn (#15474)

Commit

3 years ago

feat(data/list/of_fn): last_of_fn (#15474) Also `of_fn_eq_nil_iff`. Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com>

Author

pechersky

Parents