fn apply_zkapp_command_second_pass<L>(
constraint_constants: &ConstraintConstants,
ledger: &mut L,
c: ZkappCommandPartiallyApplied<L>,
) -> Result<ZkappCommandApplied, String>where
L: LedgerNonSnark,
fn apply_zkapp_command_second_pass<L>(
constraint_constants: &ConstraintConstants,
ledger: &mut L,
c: ZkappCommandPartiallyApplied<L>,
) -> Result<ZkappCommandApplied, String>where
L: LedgerNonSnark,