def push.arr

bend-kit-llm@0.13.0.1 · llm.bend:108

import bend-kit-llm@0.13.0.1/llm.bend as Llm

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

108def push.arr(xs: List<&1, Json.Val>, +p: String, +i: U32, t: List<&1, String & Json.Val>) -> List<&1, String & Json.Val>:
109  match xs:
110    case Nil{}:
111      t
112    case Con{x, rest}:
113      Con{(path(p, U32.show(i)), x), push.arr(rest, p, (i + 1 : U32), t)}

Uses (9)

Used by (1)

bend-kit-llm@0.13.0.1/llm:flat