Document! X and HelpStudio 2019
Collapse All
Expand All
In This Topic
CodeContractKind Metadata Element
In This Topic
Description
Outputs the kind of the current Code Contract (invariant, requires, ensures, ensuresOnThrow, pure).