Rely on upstreamed Ltac2 functions (prompted by coq/coq#18973).#155

Merged

JasonGross merged 1 commit intomit-plv:masterfrom rlepigre:br/prim-string

Jun 4, 2024

+1-53

Commits on Jun 3, 2024

Remove upstreamed Ltac2 constr interators.
rlepigre
committed