[kani] Split byteorder proofs by monomorphization - #3650

[kani] Split byteorder proofs by monomorphization#3650

joshlf wants to merge 1 commit into

G3hsfirdl7ux7wqc5tmzkwycqmjxflxa2google/zerocopy:G3hsfirdl7ux7wqc5tmzkwycqmjxflxa2from

G7impma2ko2k767ryccrfbsdxo4a2m3s2google/zerocopy:G7impma2ko2k767ryccrfbsdxo4a2m3s2Copy head branch name to clipboard