Add bitwise translation#732

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

guillaume-claret@alexandre-oliveira@bitwise.v-bisformal-land/coq-of-rust:guillaume-claret@alexandre-oliveira@bitwise.v-bisCopy head branch name to clipboard