Skip to content

Add reverse_lookup, reverse_lookup_Some and alternative version of sublist_lookup_Some

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

Merge request reports