def proofy.end

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

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

287# what a def's header says once its parameters close
288def proofy.end(toks: List<&2, Lex.Tok>) -> Bool:
289  match toks:
290    case Con{Lex.Tok{k1, t1, l1, c1}, Con{Lex.Tok{k2, t2, l2, c2}, rest}}:
291      proofy.head(k1, k2, t2)
292    case Con{Lex.Tok{k1, t1, l1, c1}, Nil{}}:
293      proofy.head(k1, Lex.TSpace{}, "")
294    case other:
295      False{}