Module Debug_protocol.Exception_break_mode
type t=|Never|Always|Unhandled|User_unhandledThis enumeration defines all possible conditions when a thrown exception should result in a break. never: never breaks, always: always breaks, unhandled: breaks when exception unhandled, userUnhandled: breaks if the exception is not handled by user code.