docs/type_system/option.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

# Option

---

A 128bit value status pair, cannot be stored.

```text
Option[TYPE]
```

# Default

```text
x : // something that returns an option
// x is the value from the option
```

If option is none an error is thrown

# Matching

```text
# ... {
    .some { arg; ... }[arg]
    .nome { ... }
}
```

## .some

## .none

# Return

## \`some

## \`none