specify type representation

1 files changed, 22 insertions, 24 deletions

diff --git a/docs/type_system/bit.md b/docs/type_system/bit.md
index 18ac6a8..11cecef 100644
--- a/docs/type_system/bit.md
+++ b/docs/type_system/bit.md
@@ -5,15 +5,13 @@
 A sequence of bits that can fit into a general register
 
 ```text
-Bit_size `alias Enum[Void; .bit_any; .bit8; .bit16; .bit32; .bit64]
+SIZE_FLAGS : BIT_ANY | BIT8 | BIT16 | BIT32 | BIT64
 
-Bit_representation `alias Enum[Void
-    .numeric; .int; .int_unsiged; .int_signed; .float
-    .utf8; .utf16; .utf32
-    .bool
-]
+REPRESENTATION_FLAGS : NUMERIC | INT | INT_UNSIGNED | INT_SIGNED | FLOAT |
+    UTF8 | UTF16 | UTF32 |
+    BOOL
 
-Bit[Bit_size; Bit_representation]
+Bit[[SIZE_FLAGS | REPRESENTATION_FLAGS]]
 ```
 
 # Casting
@@ -21,32 +19,32 @@ Bit[Bit_size; Bit_representation]
 # Alias
 
 ```text
-Number `alias Bit[.bit_any; .numeric]
+Number `alias Bit[[BIT_ANT | NUMERIC]]
 
-Int `alias Bit[.bit_any; .int]
+Int `alias Bit[[BIT_ANY | INT]]
 
-Int_unsiged `alias Bit[.bit_any; .int_unsiged]
+Int_unsiged `alias Bit[[BIT_ANY | INT_UNSIGNED]]
 
-U8 `alias Bit[.bit8; .int_unsiged]
-U16 `alias Bit[.bit16; .int_unsiged]
-U32 `alias Bit[.bit32; .int_unsiged]
-U64 `alias Bit[.bit64; .int_unsiged]
+U8 `alias Bit[[BIT8 | INT_UNSIGNED]]
+U16 `alias Bit[[BIT16 | INT_UNSIGNED]]
+U32 `alias Bit[[BIT32 | INT_UNSIGNED]]
+U64 `alias Bit[[BIT64 | INT_UNSIGED]]
 
-Int_signed `alias Bit[.bit_any; .int_signed]
+Int_signed `alias Bit[[BIT_ANY | INT_SIGNED]]
 
-I8 `alias Bit[.bit8; .int_signed]
-I16 `alias Bit[.bit16; .int_signed]
-I32 `alias Bit[.bit32; .int_signed]
-I64 `alias Bit[.bit64; .int_signed]
+I8 `alias Bit[[BIT8 | INT_SIGNED]]
+I16 `alias Bit[[BIT16 | INT_SIGNED]]
+I32 `alias Bit[[BIT32 | INT_SIGNED]]
+I64 `alias Bit[[BIT64 | INT_SIGNED]]
 
-Float `alias Bit[.bit_any; .float]
+Float `alias Bit[[BIT_ANY | FLOAT]]
 
-F32 `alias Bit[.bit32; .float]
-F64 `alias Bit[.bit64; .float]
+F32 `alias Bit[[BIT32 | FLOAT]]
+F64 `alias Bit[[BIT64 | FLOAT]]
 
-Char `alias Bit[.bit32; .utf8]
+Char `alias Bit[[BIT32 | UTF8]]
 
-Bool `alias Bit[.bit8; .bool]
+Bool `alias Bit[[BIT8 | BOOL]]
 ```
 
 # Operators