SchemaFragments.required_check_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 166-170 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=166&end_line=170

import Base

def required_check_bare(~S: Data,present: Bool,item: Entry<S>) -> Validation:
  match present item:
    case True{} _: Valid{}
    case False{} Entry{kind,key,name}: Invalid{UndeclaredDescriptor{kind,key,name}}
    case False{} Classified{kind,key,name,_}: Invalid{UndeclaredDescriptor{kind,key,name}}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=Validation