def list.append

bend-kit-dns@0.7.0.0 · dns.bend:372

import Base

372def list.append(xs: List<&2, String>, ys: List<&2, String>) -> List<&2, String>:
373  match xs:
374    case Nil{}:
375      ys
376    case Con{+h, t}:
377      h <> list.append(t, ys)