The D Programming Language's Unofficial Docs
beta
Dlang.org
Get Help
ContractChecks.precondition
dmd
frontend
ContractChecks
Precondition checks (in contract).
struct
ContractChecks
ContractChecking
precondition
;
dmd
frontend
ContractChecks
variables
arrayBounds
assert_
invariant_
postcondition
precondition
switchError
Suggestion Box / Bug Report
Precondition checks (in contract).