pub fn eval_bytecode_iter<I>(
bytes: I,
access: Access<'_>,
) -> ConstraintResult<bool>where
I: IntoIterator<Item = u8>,
Expand description
Evaluate the bytecode of a single constraint and return its boolean result.
This is the same as eval_bytecode
, but lazily constructs the bytecode
mapping as bytes are parsed.