def doc.of

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

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

146def doc.of(+n: U32, m: Maybe<&1, Json.Val>) -> Maybe<&2, List<&2, Leaf>>:
147  match m:
148    case None{}:
149      None{}
150    case Some{v}:
151      Some{List.reverse(&2, Leaf, flat(Nat.add(U32.to_nat(n), 1n), [("", v)], Nil{}))}

Uses (10)

Used by (1)

bend-kit-llm@0.13.0.1/llm:doc