~/jendhub

def of_maybe_kind

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

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

65# the type for a binder that may not have been found (a variable then)
66def of_maybe_kind(mm: Maybe<&2, Bind.BindKind>, name: String) -> U32:
67  match mm:
68    case None{}:
69      5
70    case Some{k}:
71      of_kind(k, name)

Uses (5)

Used by (1)