~/jendhub

def head

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

import bolt@1.27.0.0/src/rules/suspicious/empty.bend as Empty
import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

97# an opener, `Nat.is_eq`, `(`, a dotted name and `(`?
98def head(
99  k0: Lex.TokKind,
100  +k1: Lex.TokKind,
101  +t1: String,
102  k2: Lex.TokKind,
103  +t2: String,
104  +k3: Lex.TokKind,
105  k4: Lex.TokKind,
106  +t4: String
107) -> Bool:
108  Bool.and(opener(k0), Bool.and(dotted(k1), Bool.and(dotted(k3), Bool.and(String.eq(code(k1, t1), "Nat.is_eq"),
109    Bool.and(String.eq(code(k2, t2), "("), String.eq(code(k4, t4), "("))))))

Uses (8)

Used by (1)