def append

bend-collections@1.0.0.0 · spec/lib/common.bend:133

import bend-collections@1.0.0.0/spec/lib/common.bend as Common
import Base

133def append(-A: Data, xs: List<&2, A>, ys: List<&2, A>) -> List<&2, A>:
134  match xs:
135    case Nil{}:
136      ys
137    case Con{h, t}:
138      Con{h, append(A, t, ys)}

Uses (1)

Used by (0)

No other definition uses this definition.