def append_lines

bend-prot@0.1.0.0 · pdb.bend:581

import bend-prot@0.1.0.0/pdb.bend as Pdb

import Base

581def append_lines(a: List<&2, String>, b: List<&2, String>) -> List<&2, String>:
582  match a:
583    case Nil{}:
584      b
585    case h <> t:
586      h <> append_lines(t, b)

Uses (2)

List
String

Used by (2)