SchemaFragments.check_one_bare: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/schema_fragments.bend as SchemaFragments
Lines 100-103 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=100&end_line=103

import Base

def check_one_bare(~S: Data,+seen: List<&2,Entry<S>>,item: Entry<S>) -> Validation:
  match item:
    case Entry{+kind,+key,+name}: check_entry(key_exists(~S,seen,kind,key),name_exists(~S,seen,kind,name),kind,key,name)
    case Classified{+kind,+key,+name,_}: check_entry(key_exists(~S,seen,kind,key),name_exists(~S,seen,kind,name),kind,key,name)

Uses (6):
  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=Validation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=check_entry
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=key_exists
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=name_exists