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

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

def hold.at(plain: Bool, +dev: String, +msg: String) -> IO(Say.Spin):
  match plain:
    case True{}:
      do IO<Say.Spin>:
        IO.print_err(msg)
        return Say.Spin{"", "", ""}
    case False{}:
      start(True{}, dev, msg)

Uses (9):
  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.print_err
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=start