~/jendhub

def ref.held

ezx@1.11.0.0 · src/ws/run.bend:312

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

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

Uses (5)

Used by (1)