suggestion: definition of 'binop_int'#621

clarus wants to merge 1 commit intoantoine-james@complete-interpreter-instructionsformal-land/coq-of-rust:antoine-james@complete-interpreter-instructionsfrom

guillaume-claret@antoine-james@complete-interpreter-instructions-suggestionformal-land/coq-of-rust:guillaume-claret@antoine-james@complete-interpreter-instructions-suggestionCopy head branch name to clipboard