def append_triples

bend-prot@0.1.0.0 · bonded.bend:368

import Base

368def append_triples(a: List<&1, U32 & U32 & U32>, b: List<&1, U32 & U32 & U32>) -> List<&1, U32 & U32 & U32>:
369  match a:
370    case Nil{}:
371      b
372    case h <> t:
373      h <> append_triples(t, b)