Compile more of ink_env.v 13#222

bartlomiejkrolikowski wants to merge 10 commits intomainformal-land/coq-of-rust:mainfrom

bk@compile-more-of-ink_env-13formal-land/coq-of-rust:bk@compile-more-of-ink_env-13Copy head branch name to clipboard