Lease.Lease.decide.got: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/lease.bend as Lease
Lines 107-109 of bend-kube-runtime@0.2.0.0/src/lease.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/lease.bend&start_line=107&end_line=109

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

def Lease.decide.got(+l: J.Json, +me: String, o: Obs, +now_ms: U32, +dur: U32, +now: String) ->
  Decision:
  Lease.decide.held(l, me, Lease.observe(l, o, now_ms), now_ms, dur, now)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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/lease.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/lease.bend&name=Lease.decide.held
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/lease.bend&name=Lease.observe
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/lease.bend&name=Obs