add get_all_types from all ds_type_file

totoro
1 parent e19a5e65
Showing 1 changed file with 14 additions and 0 deletions Show diff stats
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