Jwt.fields: def of bend-kit-jwt@0.11.0.1
Import: import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt
Lines 223-229 of bend-kit-jwt@0.11.0.1/jwt.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-jwt@0.11.0.1/jwt.bend&start_line=223&end_line=229

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

# An object's members, names as octets, last first.
def fields(kvs: List<&1, Bytes.Bytes & Json.Val>, acc: List<&2, Field>) -> List<&2, Field>:
  match kvs:
    case Nil{}:
      acc
    case (k, v) <> t:
      fields(t, Con{Field{Bytes.to_string(k), lit(v)}, acc})

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=to_string
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-kit-jwt@0.11.0.1/jwt.bend&name=Field
  https://jend.leeeet.dev/definition.txt?path=bend-kit-jwt@0.11.0.1/jwt.bend&name=lit