Add reverse_lookup, reverse_lookup_Some and alternative version of sublist_lookup_Some
All threads resolved!
This MR adds reverse_lookup
, reverse_lookup_Some
and an alternative version of sublist_lookup_Some
Merge request reports
Activity
- Resolved by Michael Sammler
- Resolved by Robbert Krebbers
- Resolved by Michael Sammler
- Resolved by Michael Sammler
- Resolved by Michael Sammler
- Resolved by Michael Sammler
added 1 commit
- 31609237 - Add reverse_lookup, reverse_lookup_Some and alternative version of sublist_lookup_Some
added 1 commit
- 6d639468 - Add reverse_lookup, reverse_lookup_Some and alternative version of sublist_lookup_Some
mentioned in commit 82c4f583
Please register or sign in to reply