def position

bendvy-ecs-core@0.1.0.3 · execution_deferred_plan.bend:42

import bendvy-ecs-core@0.1.0.3/execution_deferred_plan.bend as ExecutionDeferredPlan

import Base

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

Uses (6)

Used by (3)