def inject_leaf

bendvy-ecs-core@0.1.0.4 · owned_event_key_route.bend:5

import bendvy-ecs-core@0.1.0.4/owned_event_key_route.bend as OwnedEventKeyRoute

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_event_family.bend as Family

5# These are the existing Data-family singleton injections and ordered branch
6# projections, specialized to log-local Nat IDs. Equal IDs on sibling branches
7# remain distinct because each declaration binds both its route and resource path.
8def inject_leaf(id:Nat) -> Nat:Family.inject_leaf(~Nat,id)

Uses (2)

Used by (4)