def text_item

mlbend-huggingface@0.1.1.0 · main.bend:231

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

231# The text of an item of a JSON array, or "" when it is not there.
232def text_item(v: Json.Val, n: Nat) -> String:
233  text_maybe(text_of_value(item(v, n)))