Machine.owned_marker_steps: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/machine.bend as Machine
Lines 178-181 of bendvy-ecs-core@0.1.0.3/machine.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/machine.bend&start_line=178&end_line=181

import Base

def owned_marker_steps(~W: Type,~H: Type,steps: List<&1,(H -> W -> H & W)>,owners: H,world: W) -> H & W:
  match steps:
    case Nil{}: (owners,world)
    case Con{step,rest}: marker_next(~W,~H,h => w => owned_marker_steps(~W,~H,rest,h,w),step(owners,world))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/machine.bend&name=marker_next