Bind.BindKind: type of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/syntax/bind.bend as Bind Lines 23-35 of bolt@1.27.0.0/src/syntax/bind.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&start_line=23&end_line=35 import Base # what a binder is: an item's or a constructor's name, a parameter, a type's # parameter, a constructor's field, a let name, a pattern binder, a law's # `for`, or a type-level `@x:` / `&x:` type BindKind is Data: KItem{} KCtor{} KParam{} KTypeParam{} KField{} KLocal{} KPat{} KFor{} KTypeVar{} Uses (0):