Spin.hold: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/share/spin.bend as Spin
Lines 43-48 of ezx@1.13.0.0/src/share/spin.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/share/spin.bend&start_line=43&end_line=48

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

# the line, then the mark when a terminal will show it moving. A pipe gets
# the line and nothing else.
def hold(+msg: String) -> IO(Say.Spin):
  do IO<Say.Spin>:
    +tty : String <- dev()
    hold.at(String.is_empty(tty), tty, msg)

Uses (7):
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/share/say.bend&name=Spin
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/share/spin.bend&name=dev
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/share/spin.bend&name=hold.at