essential_check::predicate

Function check_signed_contract

Source 
pub fn check_signed_contract(
    signed_contract: &SignedContract,
) -> Result<(), InvalidSignedContract>
Expand description

Validate a signed contract of predicates.

Verifies the signature and then validates the contract.