diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-07 14:23:02 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-07 14:23:02 -0400 |
| commit | f00fe3aaca06fb652ae51f44ce82289a4c3ccd5b (patch) | |
| tree | 8d974e32c9f4d101a44b1d9c446a6f26d0e780a1 /docs/type_system/flag.md | |
| parent | 5c995c76246868bda0c81b1b9c3d1b7c2cdde41a (diff) | |
type representation
Diffstat (limited to 'docs/type_system/flag.md')
| -rw-r--r-- | docs/type_system/flag.md | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/docs/type_system/flag.md b/docs/type_system/flag.md new file mode 100644 index 0000000..45aecfa --- /dev/null +++ b/docs/type_system/flag.md @@ -0,0 +1,19 @@ +# Flag + +--- + +Up to 64 symbols that can be set on and off + +```text +Flag[.name; ...] + +opts : Flag[.a; .b; .c]$.a + +`log opts // Flag[.a; .b;. c].opts$(.a) +``` + +## `add + +## `remove + +## `has |
