Feature.compose: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/feature.bend as Feature
Lines 98-103 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=98&end_line=103

import Base

# Validate the metadata tree before passing affine Owners to the trusted
# build callback. Invalid returns Rejected with original owners; valid invokes
# build once. Does not make arbitrary builder effects transactional.
# Contract and accepted consumers: docs/parity/features.md.
def compose(~S:Data,~Owners:Type,~Output:Type,~build:Owners -> Output,tree:Tree<S>,owners:Owners) -> Composition<S,Owners,Output>:
  compose_checked(~S,~Owners,~Output,~build,validate(~S,tree),owners)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=Composition
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=Tree
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=compose_checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=validate