Function intermediate_state

fn intermediate_state<GlobalState, LocalState, ConnectingLedgerHash>(
    kind: Kind,
    spec: SegmentBasic,
    before: &(GlobalState, LocalState, ConnectingLedgerHash),
    after: &(GlobalState, LocalState, ConnectingLedgerHash),
) -> ZkappCommandIntermediateState<GlobalState, LocalState, ConnectingLedgerHash>
where
    GlobalState: Clone,
    LocalState: Clone,
    ConnectingLedgerHash: Clone,