Handle constants like functions#709

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

guillaume-claret@handle-constants-as-functionsformal-land/coq-of-rust:guillaume-claret@handle-constants-as-functionsCopy head branch name to clipboard