OwnedEventStorage.append_resources: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/owned_event_storage.bend as OwnedEventStorage
Lines 28-30 of bendvy-ecs-core@0.1.0.4/owned_event_storage.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_storage.bend&start_line=28&end_line=30

import Base
import bendvy-ecs-core@0.1.0.4/owned_event_log.bend as Log

def append_resources(~R:Type,~P:Type,values:List<P>,resources:Resources<R,P>) -> Resources<R,P> & List<&2,Nat>:
  match resources:
    case Resources{resource,log}:appended(~R,~P,resource,Log.append_many(~P,log,values))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_log.bend&name=append_many
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_storage.bend&name=Resources
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_storage.bend&name=appended