Bind.plan.rec: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/bind.bend as Bind
Lines 490-520 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=490&end_line=520

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 record a binder?
def plan.rec(mode: Mode, kk: Lex.TokKind, +rest: Tree.Node) -> Bool:
  match mode kk:
    case MCtor{} Lex.TUpper{}:
      True{}
    case MName{} Lex.TName{}:
      True{}
    case MName{} Lex.TUpper{}:
      True{}
    case MName{} Lex.TDotted{}:
      True{}
    case MTele{_kind} Lex.TOp{}:
      plan.named(rest)
    case MTele{_kind} Lex.TName{}:
      True{}
    case MTele{_kind} Lex.TUpper{}:
      True{}
    case MTeleType{_kind} Lex.TAll{}:
      plan.typed(rest, False{})
    case MLhs{_outer, _kind} Lex.TUpper{}:
      Bool.not(plan.group(rest))
    case MLhs{_outer, _kind} Lex.TName{}:
      True{}
    case MTerm{} Lex.TName{}:
      plan.lam(rest)
    case MTerm{} Lex.TAll{}:
      plan.typed(rest, True{})
    case MTerm{} Lex.TAmp{}:
      plan.typed(rest, False{})
    case _other _k:
      False{}

Uses (9):
  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/bind.bend&name=plan.named
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=plan.typed
  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