fn apply_zkapp_command_unchecked<L>(
constraint_constants: &ConstraintConstants,
global_slot: Slot,
state_view: &ProtocolStateView,
ledger: &mut L,
command: &ZkAppCommand,
) -> Result<(ZkappCommandApplied, (LocalStateEnv<L>, Signed<Amount>)), String>where
L: LedgerNonSnark,