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