class interface KL_SHARED_EXCEPTIONS

feature(s) from KL_SHARED_EXCEPTIONS
   --  Access

   Exceptions: KL_EXCEPTIONS
      --  Exception handling

      ensure
         exceptions_not_void: Result /= Void


end of KL_SHARED_EXCEPTIONS