type BindKind

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

import Base

23# what a binder is: an item's or a constructor's name, a parameter, a type's
24# parameter, a constructor's field, a let name, a pattern binder, a law's
25# `for`, or a type-level `@x:` / `&x:`
26type BindKind is Data:
27  KItem{}
28  KCtor{}
29  KParam{}
30  KTypeParam{}
31  KField{}
32  KLocal{}
33  KPat{}
34  KFor{}
35  KTypeVar{}