search

move-language / move

Apache License 2.0
2.25k stars 684 forks source link

[Move-prover][Cherry-pick] Revise spec for option.move #939

Closed rahxephon89 closed 1 year ago

rahxephon89 commented 1 year ago

Motivation

Cherry-pick #938