feat: add `pp.mvars` and `pp.mvars.withType`#3798

Merged

kmill merged 3 commits intoleanprover:masterfrom kmill:pp_mvars

Mar 29, 2024

+79-6

Commits on Mar 28, 2024

Commits on Mar 29, 2024

change from using _ to ?_
kmill
committed