diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-13 16:58:29 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-13 16:58:29 -0400 |
| commit | c7c05cf589b3235b7b7749ff745005bf2fc543c6 (patch) | |
| tree | c280d6f8c987fcedec6893bed3e2c3708b2af73a /docs/type_system/index.md | |
| parent | d4ff8cfd8c9d1881cfc672a10d1f787e633fffaa (diff) | |
result can be some, none, done or error
Diffstat (limited to 'docs/type_system/index.md')
0 files changed, 0 insertions, 0 deletions