fn apply_zkapp_command_first_pass<L>(
constraint_constants: &ConstraintConstants,
global_slot: Slot,
state_view: &ProtocolStateView,
fee_excess: Option<Signed<Amount>>,
supply_increase: Option<Signed<Amount>>,
ledger: &mut L,
command: &ZkAppCommand,
) -> Result<ZkappCommandPartiallyApplied<L>, String>where
L: LedgerNonSnark,