Fix the handling of constant parameters in function bodies#710

clarus merged 1 commit intomainformal-land/coq-of-rust:mainfrom

guillaume-claret@fix-constant-parameters-of-functionsformal-land/coq-of-rust:guillaume-claret@fix-constant-parameters-of-functionsCopy head branch name to clipboard