OrdinaryDumpEligibility.present: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_dump_eligibility.bend as OrdinaryDumpEligibility
Lines 11-15 of bendvy-ecs-core@0.1.0.4/ordinary_dump_eligibility.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_dump_eligibility.bend&start_line=11&end_line=15

import Base
import bendvy-ecs-core@0.1.0.4/schema_fragments.bend as Fragment
import bendvy-ecs-core@0.1.0.4/ordinary_dump_filter.bend as Filter

def present(~S:Data,pairs:List<&1,Fragment.Entry<S> & Maybe<&2,U32>>) -> List<&2,Filter.Value>:
  match pairs:
    case []:[]
    case (Fragment.Entry{Fragment.Component{},key,_},Some{count}) <> rest:present_choice(~S,key,present(~S,rest),U32.is_eq(count,0))
    case _ <> rest:present(~S,rest)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_dump_eligibility.bend&name=present_choice
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_dump_filter.bend&name=Value
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schema_fragments.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schema_fragments.bend&name=RegistryKind