ExecutionMachineState.View: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_machine_state.bend as ExecutionMachineState
Lines 14-15 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=14&end_line=15

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

type View<-S:Data,-K:Data,-V:Data> is Data:
  View{current:M.CurrentView<S,K,V>,next:M.NextView<S,K,V>,revision:Nat,stamp:Maybe<&2,Tick.Tick>,nextStamp:Maybe<&2,Tick.Tick>,intent:Intent<V>}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_state.bend&name=Intent
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/machine.bend&name=CurrentView
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/machine.bend&name=NextView