docs/type_system/var.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# Var

---

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

## Type Body Object Definition

```c
typedef struct {
    kpl_type *type, *tree_left, *tree_right;
    kpl_identifier identifier;
} kpl_type_body_var;
```