def append

bendvy-ecs-core@0.1.0.4 · event_runtime.bend:46

import Base

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