def append_infer

bend-prot@0.1.0.0 · bonded.bend:323

import bend-prot@0.1.0.0/bonded.bend as Bonded

import Base

323def append_infer(a: List<&1, U32 & U32>, b: List<&1, U32 & U32>) -> List<&1, U32 & U32>:
324  match a:
325    case Nil{}:
326      b
327    case h <> t:
328      h <> append_infer(t, b)

Uses (3)

Used by (3)