ExecutionDeferredPlan.boundary_step: 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 96-98 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=96&end_line=98

import Base

def boundary_step(before:U32,after:U32,from:Position,to:Position,target:Node,explicitNodes:List<&2,Explicit>,+rest:List<&2,Boundary>) -> List<&2,Boundary>:
  match from to target:
    case Position{_,distance,_} Position{_,+next,_} Node{_,_,isExplicit,_,_}:Bool.pick(List<&2,Boundary>,Bool.or(Nat.is_eq(distance,next),isExplicit),rest,Boundary{before,after,next,reuse(explicitNodes,next)} <> rest)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_deferred_plan.bend&name=Boundary
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_deferred_plan.bend&name=Explicit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_deferred_plan.bend&name=Node
  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=reuse