Skip to content
GitLab

Generalize (e)feed pose proof to intro patterns

Closed Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:gen-efeed into master

This appears a simple oversight, since pose proof takes an intro pattern anyway; feed inversion and feed destruct already take intro patterns, and I've been using the generalized efeed pose proof for a while.