def proofy.head

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

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

276# what the two tokens after a def's parameters say: a `:` (no type: the
277# def fills a law) or `->` then `{` (it returns a proof)
278def proofy.head(k1: Lex.TokKind, +k2: Lex.TokKind, +t2: String) -> Bool:
279  match k1:
280    case Lex.TColon{}:
281      True{}
282    case Lex.TArrow{}:
283      String.eq(code(k2, t2), "{")
284    case other:
285      False{}