docs/type_system/var.md


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, left, right;
    uint32_t tree_weight;
    kpl_identifier identifier;
} type_var_body;
```