def inject_left

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

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

9def inject_left(~A:Data,~B:Data,~inject:Nat -> A,id:Nat) -> Publication.Publication<A,B>:
10  Family.inject_left(~Nat,~A,~B,~inject,id)