def init

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

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

108def init(-A: Data, xs: List<&2, A>) -> List<&2, A>:
109  match xs:
110    case Nil{}:
111      Nil{}
112    case Con{h, t}:
113      match t:
114        case Nil{}:
115          Nil{}
116        case Con{h2, t2}:
117          Con{h, init(A, Con{h2, t2})}

Uses (1)

Used by (0)

No other definition uses this definition.