Spin.done: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/share/spin.bend as Spin
Lines 73-76 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=73&end_line=76

import Base
import ezx@1.11.0.0/src/share/say.bend as Say

# the step finished: the mark stopped and the line left, or the line owed
def done(spin: Say.Spin) -> IO(Unit):
  Say.Spin{+term, +pid, +msg} = spin
  done.bad(Bool.or(String.is_empty(pid), String.eq(pid, "0")), term, pid, msg)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  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/say.bend&name=Spin
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/spin.bend&name=done.bad