ExecutionDeferredPlan.position: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_deferred_plan.bend as ExecutionDeferredPlan
Lines 42-45 of bendvy-ecs-core@0.1.0.3/execution_deferred_plan.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_deferred_plan.bend&start_line=42&end_line=45

import Base

def position(positions:List<&2,Position>,+id:U32) -> Position:
  match positions:
    case []:Position{id,0n,False{}}
    case Position{+other,distance,pending} <> rest:position_choice(U32.is_eq(other,id),Position{other,distance,pending},position(rest,id))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_deferred_plan.bend&name=Position
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_deferred_plan.bend&name=position_choice