Document! X 2017
CodeContractPure Metadata Element
Description
Outputs "true" if the current Code Contract is marked as pure.