def declaration

bendvy-ecs-core@0.1.0.4 · ordinary_app_hierarchy.bend:17

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

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