Leader.Leader.release.got: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/leader.bend as Leader
Lines 147-155 of bend-kube-runtime@0.2.0.0/src/leader.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/leader.bend&start_line=147&end_line=155

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J
import bend-kube-runtime@0.2.0.0/src/config.bend as K
import bend-kube-runtime@0.2.0.0/src/client.bend as Cl
import bend-kube-runtime@0.2.0.0/src/time.bend as T
import bend-kube-runtime@0.2.0.0/src/lease.bend as E

# Hands the lease back if it is ours.
def Leader.release.got(r: Result<&2, &2, Cl.KErr, J.Json>, +cfg: K.Config, +o: LOpts,
  w: T.Wall) -> IO(Unit):
  match r o:
    case Done{+l} LOpts{ns, n, +id, d, dl, rt}:
      Leader.release.mine(cfg, LOpts{ns, n, id, d, dl, rt}, E.Lease.release(l, T.Wall.micro(w)),
        String.eq(E.Lease.holder(l), id))
    case _ _:
      IO.pure(Unit, Unit{})

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/client.bend&name=KErr
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/config.bend&name=Config
  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/leader.bend&name=LOpts
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/leader.bend&name=Leader.release.mine
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/lease.bend&name=Lease.holder
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/lease.bend&name=Lease.release
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Wall
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Wall.micro