~/jendhub

def tele_kind

bolt@1.27.0.0 · src/syntax/bind.bend:344

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

344# what the names of a telescope bind as, by its bracket: `(` parameters,
345# `<` type parameters, `{` fields
346def tele_kind(+oo: String) -> BindKind:
347  Bool.pick(BindKind, String.eq(oo, "("), KParam{},
348    Bool.pick(BindKind, String.eq(oo, "<"), KTypeParam{}, KField{}))

Uses (4)

Used by (1)