Function essential_check::constraint_vm::eval_bytecode

pub fn eval_bytecode(
    bytes: &BytecodeMapped<Constraint>,
    access: Access<'_>,
) -> Result<bool, ConstraintError>

Evaluate the bytecode of a single constraint and return its boolean result.

This is the same as exec_bytecode, but retrieves the boolean result from the resulting stack.