def second_put

bendvy-ecs-core@0.1.0.4 · event_publication.bend:27

import bendvy-ecs-core@0.1.0.4/event_publication.bend as EventPublication
import Base
import event_stream.bend as Leaf

27def second_put(~S:Data,~A:Data,~B:Data,~H:Type,streams:Streams<S,A,B,H>,second:Leaf.Stream<S,B>) -> Streams<S,A,B,H>:
28  match streams:
29    case Streams{first,_,owners}:Streams{first,second,owners}

Uses (2)

Used by (0)

No other definition uses this definition.