Feature.required: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/feature.bend as Feature
Lines 72-75 of bendvy-ecs-core@0.1.0.3/feature.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&start_line=72&end_line=75

import Base

def required(items:List<&2,String>,+selected:List<&2,String>) -> Validation:
  match items:
    case []: Valid{}
    case +name <> rest: missing(contains(selected,name),name,_ => required(rest,selected))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=Validation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=contains
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=missing