def present
bendvy-ecs-core@0.1.0.4 · ordinary_dump_eligibility.bend:11
import bendvy-ecs-core@0.1.0.4/ordinary_dump_eligibility.bend as OrdinaryDumpEligibility
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
11def present(~S:Data,pairs:List<&1,Fragment.Entry<S> & Maybe<&2,U32>>) -> List<&2,Filter.Value>:
12 match pairs:
13 case []:[]
14 case (Fragment.Entry{Fragment.Component{},key,_},Some{count}) <> rest:present_choice(~S,key,present(~S,rest),U32.is_eq(count,0))
15 case _ <> rest:present(~S,rest)