def appended_many

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

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

import Base

14def appended_many(~P:Type,id:Nat,result:Log<P> & List<&2,Nat>) -> Log<P> & List<&2,Nat>:
15  match result:
16    case (log,ids):(log,id <> ids)

Uses (5)

Used by (1)

bendvy-ecs-core@0.1.0.3/owned_event_log:append_remaining