diff --git a/types/ds_types.anubis b/types/ds_types.anubis
index d5a022f..bfe2c54 100644
--- a/types/ds_types.anubis
+++ b/types/ds_types.anubis
@@ -226,6 +226,20 @@ public define List(Extern_type)
   extract_extern_type(ds_alternatives, [], beside_type)
 .
 
+public define List(DS_Type)
+  get_all_types
+  (
+    List(DS_Type_File)  type_files
+  )=
+  if type_files is
+  {
+    []      then [],
+    [h . t] then
+      since h is ds_type_file(_, _, types),
+      types + get_all_types(t)
+  }
+.
+  
  /******************* DUMP function *****************************/
 
 public define String
--
libgit2 0.21.4