Swrun.live_present: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/swrun.bend as Swrun
Lines 97-98 of cswap-bend-cli@0.1.0.0/swrun.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/swrun.bend&start_line=97&end_line=98

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/swlive.bend as L
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase

def live_present(+l: L.Live) -> Act.of(Unit):
  Act.guard(SBase.nonempty(L.lv_creds(l)), 5, "Current account credential is empty (Keychain unreadable?); refusing to overwrite its backup")

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=guard
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/base.bend&name=nonempty
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swlive.bend&name=Live
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swlive.bend&name=lv_creds