~/jendhub

def notice_inject

bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_binding.bend:31

import bendvy-ecs-core@0.1.0.4/ordinary_owned_event_binding.bend as OrdinaryOwnedEventBinding
import Base
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Relation

31# Relation notice transport preserves the canonical log path and payload domain.
32def notice_inject(~S:Data,~E:Data,~inject:Nat -> E,id:Nat) -> Relation.Notice<S,E>:Relation.Original{inject(id)}

Uses (2)

Used by (1)