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]