Spin.done.bad: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/share/spin.bend as Spin
Lines 66-71 of ezx@1.11.0.0/src/share/spin.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/share/spin.bend&start_line=66&end_line=71

import Base

def done.bad(bad: Bool, +dev: String, +pid: String, +msg: String) -> IO(Unit):
  match bad:
    case True{}:
      owed(String.is_empty(msg), msg)
    case False{}:
      done.live(dev, pid, msg)

Uses (7):
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/spin.bend&name=done.live
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/spin.bend&name=owed