fn apply_zkapp_command_unchecked_aux<A, F, L>(
constraint_constants: &ConstraintConstants,
global_slot: Slot,
state_view: &ProtocolStateView,
init: &mut A,
f: F,
fee_excess: Option<Signed<Amount>>,
supply_increase: Option<Signed<Amount>>,
ledger: &mut L,
command: &ZkAppCommand,
) -> Result<ZkappCommandApplied, String>