SchemaFragments.descriptor_present: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/schema_fragments.bend as SchemaFragments
Lines 158-161 of bendvy-ecs-core@0.1.0.3/schema_fragments.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&start_line=158&end_line=161

import Base

def descriptor_present(~S:Data,xs:List<&2,Entry<S>>,+item:Entry<S>) -> Bool:
  match xs:
    case []:False{}
    case head <> rest:Bool.or(descriptor_equal(~S,bare_entry(~S,head),bare_entry(~S,item)),descriptor_present(~S,rest,item))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=bare_entry
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=descriptor_equal