every type has access to its parent

2 files changed, 5 insertions, 4 deletions

diff --git a/docs/type_system/ir.md b/docs/type_system/ir.md
index 77c6139..4b9ea44 100644
--- a/docs/type_system/ir.md
+++ b/docs/type_system/ir.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-Ir[[IR_NAME] Address[3]]
+Ir[[IR_NAME] Address[6]]
 ```
 
 `IR_NAME` is a single value
@@ -12,6 +12,7 @@ Ir[[IR_NAME] Address[3]]
 
 ```c
 typedef struct {
-    kpl_type *address[3];
+    ssize_t label;
+    kpl_type *address[6];
 } kpl_type_body_ir;
 ```
diff --git a/docs/type_system/list.md b/docs/type_system/list.md
index 518727e..22ad03c 100644
--- a/docs/type_system/list.md
+++ b/docs/type_system/list.md
@@ -3,13 +3,13 @@
 ---
 
 ```text
-List[[ROOT | STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] PARENT; TARGET; ARG; LOOP; VAR_TREE; Collection[LIST; TYPE]]
+List[[STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] PARENT; TARGET; ARG; LOOP; VAR_TREE; Collection[LIST; TYPE]]
 ```
 
 ## Type Body Object Definitions
 
 ```c
 typedef struct {
-    kpl_type *parent, *target, *defined, *named, *var_tree, *statement_list;
+    kpl_type *target, *defined, *named, *var_tree, *statement_list;
 } kpl_type_body_list;
 ```