Semantic.idx.join: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/semantic.bend as Semantic
Lines 171-177 of bolt@1.27.0.0/src/lsp/semantic.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/semantic.bend&start_line=171&end_line=177

import Base

# a node whose half down a bit is sub, and the other half far
def idx.join(bb: Bool, sub: Index, far: Index) -> Index:
  match bb:
    case True{}:
      INode{sub, far}
    case False{}:
      INode{far, sub}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/semantic.bend&name=Index