move-language / move

Apache License 2.0
2.25k stars 684 forks source link

[Move-prover] Revise spec for option.move #938

Closed rahxephon89 closed 1 year ago

rahxephon89 commented 1 year ago

Motivation

Revise the spec for borrow_mut in option.move.