pub fn reducer<State, Action>(
    state: Substate<'_, Action, State, SnarkUserCommandVerifyState>,
    action: SnarkUserCommandVerifyActionWithMetaRef<'_>,
)
where State: SubstateAccess<SnarkUserCommandVerifyState> + SubstateAccess<SnarkState>, Action: From<SnarkUserCommandVerifyAction> + From<SnarkUserCommandVerifyEffectfulAction> + From<AnyAction> + EnablingCondition<State>,