essential_check::state_read_vm::constraint

Function exec

source 
pub fn exec<OA>(
    op_access: OA,
    access: Access<'_>,
) -> Result<Stack, ConstraintError>
where
    OA: OpAccess<Op = Constraint>,
    <OA as OpAccess>::Error: Into<OpError>,
Expand description

Execute the operations of a constraint and return the resulting stack.