diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-18 11:19:22 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-18 11:19:22 -0400 |
| commit | c9ff7bdb61efb1609876abdc40fab9a2ddc06f94 (patch) | |
| tree | 70c148f92f35c312f4bd016812b6029e1bd99973 /docs/type_system/flag.md | |
| parent | d9c68aa51521171b951d37c879ffee5ea64e21df (diff) | |
remove flag type and add .mask to int
Diffstat (limited to 'docs/type_system/flag.md')
| -rw-r--r-- | docs/type_system/flag.md | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/docs/type_system/flag.md b/docs/type_system/flag.md deleted file mode 100644 index 45aecfa..0000000 --- a/docs/type_system/flag.md +++ /dev/null @@ -1,19 +0,0 @@ -# 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 |