Function step

pub fn step<L>(
    global_state: &mut GlobalStateForNonSnark<L>,
    local_state: &mut LocalState<ZkappNonSnark<L>>,
) -> Result<(), String>
where
    L: LedgerNonSnark,