lsp-docs 0.1.1

Static structured documentation for the Axon language, embedded at compile time. Consumed by axon-lsp's hover and completion resolvers.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

---
name: type
kind: syntax
since: 0.1
stability: stable
---

Record type declaration.

```axon
type Name {
  field_a: String,
  field_b: Integer
}
```

Each `field: TypeExpr` line declares a named field. Fields are
mandatory unless suffixed with `?` (optional). Types are nominal —
two `type` declarations with identical fields are still distinct.

Use `type` for any structurally shaped value crossing a flow,
channel, or persistence boundary; the type checker uses these
declarations to enforce field presence, shape, and refinement
constraints downstream.