docs/type_system/union.md


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

# Union

---

```text
Union[TYPE.symbol; ...]
```

```text
u : Union[I64.a; I64.b; I64.c] $ (.c : 5)

# u {
    .c { c ... }[c]
    { ... } // default
}
```