~/jendhub

def append_many

bendvy-ecs-core@0.1.0.3 · owned_event_log.bend:24

import bendvy-ecs-core@0.1.0.3/owned_event_log.bend as OwnedEventLog
import Base

24def append_many(~P:Type,log:Log<P>,payloads:List<P>) -> Log<P> & List<&2,Nat>:
25  append_rows(~P,payloads,log)

Uses (5)

Used by (0)

No other definition uses this definition.