ddc ~master (2020-05-01T11:40:35Z)

ContractChecks.postcondition

dmdfrontendContractChecks

Postcondition checks (out contract).

struct ContractChecks
ContractChecking postcondition;

Meta

Source

See Implementation

dmdfrontendContractChecks variables

Page generated by adrdox