fn step_all<A, L>(
_constraint_constants: &ConstraintConstants,
f: &impl Fn(&mut A, &GlobalState<L>, &LocalStateEnv<L>),
user_acc: &mut A,
(g_state, l_state): (&mut GlobalState<L>, &mut LocalStateEnv<L>),
) -> Result<Vec<Vec<TransactionFailure>>, String>where
L: LedgerNonSnark,