Function reducer

pub fn reducer<State, Action>(
    state_context: Substate<'_, Action, State, SnarkWorkVerifyState>,
    action: ActionWithMeta<&SnarkWorkVerifyAction>,
)
where
    State: SubstateAccess<SnarkWorkVerifyState> + SubstateAccess<SnarkState>,
    Action: From<SnarkWorkVerifyAction> + From<SnarkWorkVerifyEffectfulAction> + From<AnyAction> + EnablingCondition<State>,