def leaf_sync

bendvy-ecs-core@0.1.0.4 · ordinary_event_family.bend:19

import Base
import event_stream.bend as Leaf

19def leaf_sync(~S:Data,~E:Data,stream:Leaf.Stream<S,E>,tick:Nat,values:List<&2,E>) -> Leaf.Stream<S,E>:Leaf.append(~S,~E,stream,tick,values)