Challenge 4: Verify memory safety of BTreeMap node module#577

Samuelsills wants to merge 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

Samuelsills:challenge-4-btreeSamuelsills/verify-rust-std:challenge-4-btreeCopy head branch name to clipboard