BundleBatch.preceding: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/bundle_batch.bend as BundleBatch
Lines 63-69 of bendvy-ecs-core@0.1.0.4/bundle_batch.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/bundle_batch.bend&start_line=63&end_line=69

import Base
import bendvy-ecs-core@0.1.0.4/deferred_command.bend as Deferred
import transaction.bend as T

# Replay only closures preceding this authored insertion. Position is generated
# by count_commands, not supplied by gameplay; raw constructors remain trusted.
def preceding(~World:Type,~E:Data,count:Nat,commands:List<Deferred.Command<World>>,tx:T.Tx<World,E>) -> List<Deferred.Command<World>> & T.Tx<World,E>:
  match count commands:
    case 0n _: (commands,tx)
    case 1n+rest Nil{}: ([],tx)
    case 1n+rest Con{command,tail}: preceding(~World,~E,rest,tail,T.stage_command(~World,~E,tx,command))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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.4/deferred_command.bend&name=Command
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Tx
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=stage_command