Add links for utility and control function#713

clarus merged 2 commits intomainformal-land/coq-of-rust:mainfrom

guillaume-claret@links-for-utilityformal-land/coq-of-rust:guillaume-claret@links-for-utilityCopy head branch name to clipboard