def AaText.append

bend-osdev-apparmor@0.1.0.0 · text.bend:13

import Base

13def AaText.append(xs: List<&2, U32>, ys: List<&2, U32>) -> List<&2, U32>:
14  match xs:
15    case Nil{}:
16      ys
17    case Con{h, t}:
18      Con{h, AaText.append(t, ys)}