def provision

bendvy-ecs-core@0.1.0.4 · event_stream.bend:11

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend as Event

11# Initialize an empty stream for a declared domain/capacity. No reader is active.
12def provision(~S:Data,~E:Data,domain:Event.Domain<S,E>,capacity:Nat) -> Stream<S,E>:
13  Stream{domain,[],[],1,0n,0n,capacity,0n}