Error.str_val: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/error.bend as Error
Lines 35-36 of bendonnect-rpc@0.1.0.0/src/error.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&start_line=35&end_line=36

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

def str_val(+s: String) -> Json.Val:
  Json.Str{Enc.utf8.encode(s)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-encoding@0.5.0.0/encoding.bend&name=utf8.encode
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=Val