type StmtKind

bolt@1.27.0.0 · src/syntax/tree.bend:18

import Base

18# what a statement is, by its shape: SDef `def f(..)` (also `@unsafe def`),
19# SType, SLaw, SImport, SCase `case p:`, SFor `for x: T` / `exs x: T`, SLet
20# (a `=` or `<-` among its own tokens), else STerm (`match x:`, `do M<T>:`,
21# `return e`, a call, and a dependent arrow `@x: A -> B` or `@+x: A -> B`,
22# which an `@` does not make a def)
23type StmtKind is Data:
24  SDef{}
25  SType{}
26  SLaw{}
27  SImport{}
28  SCase{}
29  SFor{}
30  SLet{}
31  STerm{}