class interface KL_SHARED_ARGUMENTS

feature(s) from KL_SHARED_ARGUMENTS
   --  Access

   Arguments: KL_ARGUMENTS
      --  Command-line arguments

      ensure
         arguments_not_void: Result /= Void


end of KL_SHARED_ARGUMENTS