def rep.arr

bendonnect-rpc@0.1.0.0 · src/pbjson.bend:223

import Base
import bend-kit-json@0.6.1.1/json.bend as Json

223def rep.arr(~T: Data, ~val: @+x: T -> Json.Val, xs: List<&2, T>) -> List<&1, Json.Val>:
224  match xs:
225    case Nil{}:
226      Nil{}
227    case Con{h, t}:
228      val(h) <> rep.arr(~T, ~val, t)