ExecutionCommandBuffer.pending: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend as ExecutionCommandBuffer
Lines 66-69 of bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend&start_line=66&end_line=69

import Base

def pending(~S:Data,~P:Type,~D:Type,buffer:Buffer<S,P,D>) -> Buffer<S,P,D> & Bool:
  match buffer:
    case Buffer{[],receipts}:(Buffer{[],receipts},False{})
    case Buffer{head <> rest,receipts}:(Buffer{head <> rest,receipts},True{})

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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.3/execution_command_buffer.bend&name=Buffer