def bind_feature

bendvy-ecs-core@0.1.0.4 · feature_provision.bend:23

import Base
import bendvy-ecs-core@0.1.0.4/feature.bend as F
import bendvy-ecs-core@0.1.0.4/schema_fragments.bend as SF

23# Authoring boundary: actual declared scope checked before closed construction.
24def bind_feature(~S:Data,~Owners:Type,~Output:Type,~build:Owners -> Output,definition:F.Definition<S>,required:List<&2,SF.Entry<S>>,owners:Owners) -> SF.Bound<S,Owners,Output>:
25  SF.bind_declared(~S,~Owners,~Output,~build,SF.Fragment{scope_unique(~S,F.visibility(~S,F.definition_tree(~S,definition))),owners},required)