~/jendhub

def append_remaining

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

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

17def append_remaining(~P:Type,next:Log<P> -> Log<P> & List<&2,Nat>,result:Log<P> & Nat) -> Log<P> & List<&2,Nat>:
18  match result:
19    case (log,id):appended_many(~P,id,next(log))

Uses (6)

Used by (1)