Module predicate

Items related to the validation of Predicates.

Enums

• InvalidContract
  check_contract 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.