ExecutionMachineState.projected: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_machine_state.bend as ExecutionMachineState
Lines 18-20 of bendvy-ecs-core@0.1.0.3/execution_machine_state.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_state.bend&start_line=18&end_line=20

import Base
import bendvy-ecs-core@0.1.0.3/machine.bend as M

def projected(-S:Data,-K:Data,-V:Data,cell:Cell<S,K,V>) -> Cell<S,K,V> & View<S,K,V>:
  match cell:
    case Cell{+slot,stream,+revision,+stamp,+nextStamp,sequence,initialPending,namespace,+intent}:(Cell{slot,stream,revision,stamp,nextStamp,sequence,initialPending,namespace,intent},View{M.current_view_generic(S,K,V,slot),M.next_view_generic(S,K,V,slot),revision,stamp,nextStamp,intent})

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_state.bend&name=Cell
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_state.bend&name=View
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/machine.bend&name=current_view_generic
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/machine.bend&name=next_view_generic