Run.ref.held: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/run.bend as Run
Lines 312-318 of ezx@1.11.0.0/src/ws/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/run.bend&start_line=312&end_line=318

import Base
import ezx@1.11.0.0/src/ws/pin.bend as Pin

# the ref, once the workspace's pins are known
def ref.held(rr: Pin.Ref) -> IO(String):
  match rr:
    case Pin.Given{ref}:
      IO.pure(String, ref)
    case Pin.Held{why}:
      IO.die(String, 1, why)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.die
  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=ezx@1.11.0.0/src/ws/pin.bend&name=Ref