dmd v2.104.0 (2023-06-02T08:46:32Z)

ContractChecks.postcondition

dmd frontend ContractChecks

Postcondition checks (out contract).

struct ContractChecks
ContractChecking postcondition;

Meta

Source

See Implementation

dmd frontend ContractChecks variables

Page generated by adrdox