type Mode

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

import Base

275# what the walk is reading; MLhs and MLhsType carry the environment the
276# right side of the let will see, and MLhs the kind its names bind with.
277# MSkip steps over one node (a name a form already bound), then reads on in
278# next; MStop reads nothing more
279type Mode is Data:
280  MBlock{}
281  MCtors{}
282  MCtor{}
283  MHead{}
284  MName{}
285  MSig{}
286  MTele{kind: BindKind}
287  MTeleType{kind: BindKind}
288  MLhs{outer: List<&2, Bind>, kind: BindKind}
289  MLhsType{outer: List<&2, Bind>}
290  MTerm{}
291  MSkip{next: Mode}
292  MStop{}