class interface KL_SHARED_STANDARD_FILES

feature(s) from KL_SHARED_STANDARD_FILES
   --  Access

   std: KL_STANDARD_FILES
      --  Standard files

      ensure
         std_not_void: Result /= Void


end of KL_SHARED_STANDARD_FILES