Module `Debug_protocol.Exception_filter_options`

type t = { filter_id : string; ID of an exception filter returned by the 'exceptionBreakpointFilters' capability. condition : string option; An optional expression for conditional exceptions. The exception will break into the debugger if the result of the condition is true. }: An ExceptionFilterOptions is used to specify an exception filter together with a condition for the setExceptionsFilter request.

`filter_id : string;`	ID of an exception filter returned by the 'exceptionBreakpointFilters' capability.
`condition : string option;`	An optional expression for conditional exceptions. The exception will break into the debugger if the result of the condition is true.