ExecutionDeferredPlan.without: 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 50-53 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=50&end_line=53

import Base

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

Uses (5):
  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=keep_position