def proofy.fin

bolt@1.27.0.0 · src/rules/suspicious/empty.bend:297

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

297# does the token close the parameters: a bracket closing at depth one?
298def proofy.fin(kk: Lex.TokKind, dd: Nat) -> Bool:
299  match kk:
300    case Lex.TClose{}:
301      match dd:
302        case 1n:
303          True{}
304        case other:
305          False{}
306    case other:
307      False{}