def bind_requirements
bendvy-ecs-core@0.1.0.3 · schema_fragments.bend:176
import bendvy-ecs-core@0.1.0.3/schema_fragments.bend as SchemaFragments
import Base
176def bind_requirements(~S: Data,~Owners: Type,~Output: Type,~build: Owners -> Output,result: Validation,required: List<&2,Entry<S>>,fragment: Fragment<S,Owners>) -> Bound<S,Owners,Output>:
177 match result fragment:
178 case Invalid{error} fragment: BindRejected{error,fragment}
179 case Valid{} Fragment{+entries,owners}: bind_checked(~S,~Owners,~Output,~build,requirements(~S,required,entries),Fragment{entries,owners})