Module Debug_protocol.Exception_breakpoints_filter
type t={}An ExceptionBreakpointsFilter is shown in the UI as an filter option for configuring how exceptions are dealt with.
Debug_protocol.Exception_breakpoints_filtertype t = {}An ExceptionBreakpointsFilter is shown in the UI as an filter option for configuring how exceptions are dealt with.