def leaf

bendvy-ecs-core@0.1.0.4 · owned_event_family_catalog.bend:12

import bendvy-ecs-core@0.1.0.4/owned_event_family_catalog.bend as OwnedEventFamilyCatalog
import Base
import bendvy-ecs-core@0.1.0.4/owned_event_log.bend as Log
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Stream

12def leaf(~S:Data,~P:Type) -> Catalog<Nat,Log.Log<P>,Stream.Stream<S,Nat>,List<Log.Row<P>>,Log.retain(~P),Log.drain(~P),leaf_clear(~S)>:Catalog{}

Uses (9)

Used by (0)

No other definition uses this definition.