Bind.plan.use: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/bind.bend as Bind
Lines 533-559 of bolt@1.27.0.0/src/syntax/bind.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&start_line=533&end_line=559

import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

# does a leaf of kind k use a name?
def plan.use(mode: Mode, kk: Lex.TokKind, +rest: Tree.Node) -> Bool:
  match mode kk:
    case MTeleType{_kind} Lex.TName{}:
      True{}
    case MTeleType{_kind} Lex.TUpper{}:
      True{}
    case MTeleType{_kind} Lex.TDotted{}:
      True{}
    case MLhs{_outer, _kind} Lex.TUpper{}:
      plan.group(rest)
    case MLhs{_outer, _kind} Lex.TDotted{}:
      plan.group(rest)
    case MLhsType{_outer} Lex.TName{}:
      True{}
    case MLhsType{_outer} Lex.TUpper{}:
      True{}
    case MLhsType{_outer} Lex.TDotted{}:
      True{}
    case MTerm{} Lex.TName{}:
      Bool.not(plan.lam(rest))
    case MTerm{} Lex.TUpper{}:
      True{}
    case MTerm{} Lex.TDotted{}:
      True{}
    case _other _k:
      False{}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=Mode
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=plan.group
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=plan.lam
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=TokKind
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node