class interface DS_NESTED_LIST_FLATTENER[G]

creation
   make
      --  Create a new nested list flattener.


feature(s) from DS_NESTED_LIST_FLATTENER
   --  Basic operations

   flatten (nested_lists: DS_LINEAR[DS_NESTED_LIST[G]])
      --  Make sure that for each list in nested_lists
      --  all items are held locally, even those that
      --  could be accessed remotely.

      require
         nested_lists_not_void: nested_lists /= Void;
         no_void_nested_list: not nested_lists.has(Void)


end of DS_NESTED_LIST_FLATTENER[G]