~/jendhub

def head_bind_kind

bolt@1.27.0.0 · src/lsp/semantic.bend:118

import bolt@1.27.0.0/src/lsp/semantic.bend as Semantic
import Base
import bolt@1.27.0.0/src/syntax/bind.bend as Bind

118# the type of the next binder
119def head_bind_kind(binds: List<&2, Bind.Bind>) -> U32:
120  match binds:
121    case Nil{}:
122      5
123    case Con{Bind.Bind{n, l, c, k, note}, rest}:
124      of_kind(k, n)

Uses (4)

Used by (1)