Draft: experiments on traits#229

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

guillaume-claret@experiments-traitsformal-land/coq-of-rust:guillaume-claret@experiments-traitsCopy head branch name to clipboard