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