"File_list" class

Description

Owner: discrete

It specializes the class Elem.