essential_check::predicate

Function check_contract

Source 
pub fn check_contract(predicates: &[Predicate]) -> Result<(), InvalidContract>
Expand description

Validate a contract of predicates.

Checks the size of the contract and then validates each predicate.