We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Function contracts (markdown)
Fix contract2.c -> contract2a.c in final function contract example.
First complete draft of function contracts
Start function contract, but don't link it in.