Skip to content

[list] restricted version of list_fmap_equiv_ext

Vincent requested to merge (removed):vsiles into master

list_fmap_equiv_ext requires the functions to be equal on every element of A but we could restrict it to the element of l.

Note sure about the name I choose, feel free to suggest something more in line with the library :D

Merge request reports