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