Typed.Ty.opt: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/typed.bend as Typed
Lines 108-111 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=108&end_line=111

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

# An optional field: None when absent or null.
def Ty.opt(~A: Data, ~dec: J.Json -> String -> Result<&2, &2, String, A>, +j: J.Json, +key: String,
  +path: String) -> Result<&2, &2, String, Maybe<&2, A>>:
  Ty.opt.go(~A, ~dec, J.Json.get(j, key), Ty.at(path, key), J.Json.is_null(J.Json.get(j, key)))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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.opt.go