pub fn check(predicate: &Predicate) -> Result<(), InvalidPredicate>Expand description
Validate a single predicate.
Validates the slots, state reads, and constraints.
pub fn check(predicate: &Predicate) -> Result<(), InvalidPredicate>Validate a single predicate.
Validates the slots, state reads, and constraints.