Skip to content
Snippets Groups Projects
Commit 0a0aa08b authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Add `list_eq_prefix_length` and `list_eq_suffix_length`.

parent f6c51d9c
Branches
Tags
1 merge request!455Various tweaks to lists, maps, sets
Hide whitespace changes
Inline Side-by-side
Showing
with 18 additions and 0 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment