Module predicate

Items related to the validation of Predicates.

Enums

InvalidContract

check_contract error.

InvalidPredicate

check error.

InvalidSignedContract

check_signed_contract error.

Constants

MAX_PREDICATES

Maximum number of predicates in a contract.

Functions

check

Validate a single predicate.

check_contract

Validate a contract of predicates.

check_signed_contract

Validate a signed contract of predicates.