BundleBatch.counted: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/bundle_batch.bend as BundleBatch Lines 28-31 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=28&end_line=31 import Base import bendvy-ecs-core@0.1.0.4/deferred_command.bend as Deferred # Count returns the very same affine closures in the same reverse queue order. def counted(~World:Type,command:Deferred.Command,result:List> & Nat) -> List> & Nat: match result: case (commands,count): (command <> commands,1n+count) 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=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