Up.tools.join: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 1087-1097 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=1087&end_line=1097

import Base

def tools.join(pinned: Pinned, rest: Tools) -> Tools:
  match pinned:
    case Pinned{t, m, says}:
      Tools{ts, any, sy, asks, bad} = rest
      Tools{t <> ts, Bool.or(m, any), List.append(&2, String, says, sy), asks, bad}
    case PinWait{more}:
      Tools{ts, any, sy, asks, bad} = rest
      Tools{ts, any, sy, List.append(&2, Ask, more, asks), bad}
    case PinHalt{why}:
      Tools{ts, any, sy, asks, _bad} = rest
      Tools{ts, any, sy, asks, halt.why(why)}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  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/lock/up.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Pinned
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Tools
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=halt.why