def append_tpl

bend-prot@0.1.0.0 · tpl.bend:41

import Base

41def append_tpl(a: List<&1, U32 & U32>, b: List<&1, U32 & U32>) -> List<&1, U32 & U32>:
42  match a:
43    case Nil{}:
44      b
45    case h <> t:
46      h <> append_tpl(t, b)