dmd ~master (2023-11-01T14:17:50Z)

ContractChecks.precondition

dmd frontend ContractChecks

Precondition checks (in contract).

struct ContractChecks
ContractChecking precondition;

Meta

Source

See Implementation

dmd frontend ContractChecks variables

Page generated by adrdox