def attrs.append

gralha-xml-doc@0.1.0.1 · xml.bend:315

import Base

315def attrs.append(xs: List<&2, Attr>, ys: List<&2, Attr>) -> List<&2, Attr>:
316  match xs:
317    case Nil{}: ys
318    case Con{h, t}: Con{h, attrs.append(t, ys)}