add generics

1 files changed, 6 insertions, 2 deletions

diff --git a/docs/application/type.md b/docs/application/type.md
index 3a831b2..796d848 100644
--- a/docs/application/type.md
+++ b/docs/application/type.md
@@ -47,11 +47,15 @@ typedef struct _kpl_type {
             kpl_native_id native_id;
             int8_t process_state_id; // -1 not used
             uint16_t tree_weight;
-            struct _kpl_type *function;
+            struct _kpl_type *list;
         } var;
     } meta;
     _Atomic ssize_t ref_count;
-    struct _kpl_type *prev, *next, *parent;
+    struct _kpl_type *prev, *next;
     kpl_type_body body;
 } kpl_type;
 ```
+
+# Type Matching
+
+For type checking and evaluation