summaryrefslogtreecommitdiff
path: root/docs/type_system/var.md
blob: 1a5119f923cc416c5678d49aa7c38d940e5d3595 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
# Var

---

```text
Var[[SYMBOL | SCOPE | ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; LEFT_VAR; RIGHT_VAR; TREE_WEIGHT; IDENTIFIER]
```

## Type Body Object Definition

```c
typedef struct {
    kpl_ptr type, tree_left, tree_right;
    uint32_t tree_weight;
    kpl_identifier identifier;
} kpl_type_body_var;
```