ContractChecks.precondition

Precondition checks (in contract).

struct ContractChecks
ContractChecking precondition;

Meta