ContractChecks.invariant_

Invariant checks.

struct ContractChecks
ContractChecking invariant_;

Meta