Leader.Leader.elect: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/leader.bend as Leader
Lines 168-171 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=168&end_line=171

import Base
import bend-kube-runtime@0.2.0.0/src/config.bend as K
import bend-kube-runtime@0.2.0.0/src/lease.bend as E

# Runs work only while we hold the lease (client-go's RunOrDie).
def Leader.elect(+cfg: K.Config, +o: LOpts, work: IO(Unit)) -> IO(Unit):
  IO.bind(Unit, Unit, IO.spawn(Unit, Leader.on_signal(cfg, o)),
    u => Leader.run(4294967295n, LTry{}, cfg, o, E.Obs.none(), False{}, 0, Some{work}))

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.spawn
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/config.bend&name=Config
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/leader.bend&name=LEv
  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.on_signal
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/leader.bend&name=Leader.run
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/lease.bend&name=Obs.none