OrdinaryAppHierarchy.declaration: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_app_hierarchy.bend as OrdinaryAppHierarchy
Lines 17-21 of bendvy-ecs-core@0.1.0.4/ordinary_app_hierarchy.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_hierarchy.bend&start_line=17&end_line=21

import Base
import bendvy-ecs-core@0.1.0.4/relation_failure_reader.bend as Ord
import bendvy-ecs-core@0.1.0.4/relation_types.bend as G
import bendvy-ecs-core@0.1.0.4/relation_reorder.bend as Reorder

# One hierarchy declaration supplies the installed relation and traversal authority.
# Trusted setup projection of a hierarchy descriptor into its relation declaration.
# Hierarchy authority retains the descriptor, rather than relying on its display name.
def declaration(~S:Data,hierarchy:G.HierarchyDescriptor<S>) -> Ord.Declaration<S>:
  Ord.relation(~S,Reorder.descriptor(~S,hierarchy))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_failure_reader.bend&name=Declaration
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_failure_reader.bend&name=relation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_reorder.bend&name=descriptor
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_types.bend&name=HierarchyDescriptor