EventRuntime.append: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/event_runtime.bend as EventRuntime
Lines 46-50 of bendvy-ecs-core@0.1.0.4/event_runtime.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/event_runtime.bend&start_line=46&end_line=50

import Base

def append(~E: Data,+left: List<&2,E>,+right: List<&2,E>) -> List<&2,E>:
  match left right:
    case Nil{} right: right
    case left Nil{}: left
    case left right: append_loop(~E,List.reverse(&2,E,left),right)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_runtime.bend&name=append_loop