pub fn check_predicate(
predicate: &[ConstraintBytecode],
access: Access<'_>,
) -> CheckResult<()>Expand description
Check whether the constraints of a single predicate are met for the given solution data and state slot mutations. All constraints are checked in parallel.
In the case that one or more constraints fail or are unsatisfied, the
whole contract of failed/unsatisfied constraint indices are returned within the
CheckError type.
The predicate is considered to be satisfied if this function returns Ok(()).