Skip to content
GitLab

Add reverse_lookup, reverse_lookup_Some and alternative version of sublist_lookup_Some

Merged Michael Sammler requested to merge msammler/reverse_lookup_sublist_lookup into master

This MR adds reverse_lookup, reverse_lookup_Some and an alternative version of sublist_lookup_Some