Commit 837456f

committed

Find a way to break type invariant and use &mut

1 parent d15a2df commit 837456fCopy full SHA for 837456f

2 files changed

vstd_extra/src/resource
- ghost_resource
  - csum.rs
- storage_protocol
  - csum.rs

Comments

(0)

Navigation Menu