Information on some keywords in Move

Hi Folks,

I was wondering where can I find some information about the following keywords:

  • spec
  • schema
  • ensures
  • acquires
  • pragma
  • include

Thanks a lot in advance for your help !

Cheers,
Syed

All of the keyword are part of the Move Prover specification language. Check out the spec language guide here for more details.

Thanks a lot for sharing the link Sam! The guide is actually very helpful.

Cheers,
Syed

1 Like