Empty.proofy.fin: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/empty.bend as Empty
Lines 297-307 of bolt@1.27.0.0/src/rules/suspicious/empty.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/empty.bend&start_line=297&end_line=307

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

# does the token close the parameters: a bracket closing at depth one?
def proofy.fin(kk: Lex.TokKind, dd: Nat) -> Bool:
  match kk:
    case Lex.TClose{}:
      match dd:
        case 1n:
          True{}
        case other:
          False{}
    case other:
      False{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=TokKind