Experiment: using existential variables for Let and Call#721

clarus wants to merge 1 commit intomainformal-land/rocq-of-rust:mainfrom

guillaume-claret@using-exitential-variables-for-let-callformal-land/rocq-of-rust:guillaume-claret@using-exitential-variables-for-let-callCopy head branch name to clipboard