Typed.Ty.req: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/typed.bend as Typed
Lines 95-98 of bend-kube-runtime@0.2.0.0/src/typed.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/typed.bend&start_line=95&end_line=98

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J

# A required field.
def Ty.req(~A: Data, ~dec: J.Json -> String -> Result<&2, &2, String, A>, +j: J.Json, +key: String,
  +path: String) -> Result<&2, &2, String, A>:
  Ty.req.go(~A, ~dec, J.Json.get(j, key), Ty.at(path, key), J.Json.is_null(J.Json.get(j, key)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.get
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.is_null
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/typed.bend&name=Ty.at
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/typed.bend&name=Ty.req.go