generics-sop icon indicating copy to clipboard operation
generics-sop copied to clipboard

Published 20 hours ago • verified publisher icon well-typed

all_POP doesn't need a constraint

Open phadej opened this issue 1 year ago • 0 comments

... if implemented used no-constraint map_NP. Solves old TODO comment.

all_POP is much more useful if it doesn't have the constraint requirement.

phadej avatar Dec 05 '23 15:12 phadej