From c9ff7bdb61efb1609876abdc40fab9a2ddc06f94 Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 18 May 2026 11:19:22 -0400 Subject: remove flag type and add .mask to int --- docs/type_system/flag.md | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 docs/type_system/flag.md (limited to 'docs/type_system/flag.md') 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 -- cgit v1.2.3