def tea.append
import bend-osdev-legacy-ciphers@0.1.0.0/tea.bend as Teaimport Base
115def tea.append(xs: List<&2, LcTeaOp>, ys: List<&2, LcTeaOp>) -> List<&2, LcTeaOp>:
116 match xs:
117 case Nil{}:
118 ys
119 case Con{h, t}:
120 Con{h, tea.append(t, ys)}