Add reverse_lookup, reverse_lookup_Some and alternative version of sublist_lookup_Some (!338) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Michael Sammler requested to merge msammler/reverse_lookup_sublist_lookup into master 3 years ago

All threads resolved!

Compare and