Function essential_check::predicate::check_constraints

source · 
pub fn check_constraints(
    constraints: &[ConstraintBytecode],
) -> Result<(), InvalidConstraints>
Expand description

Validate a predicate’s constraint bytecode.