Module Clang__Clang__types.Diagnostic_display_options
type t
=
{
source_location : Display_source_location.t option;
option : bool;
category_id : bool;
category_name : bool;
}
val default : t
Clang__Clang__types.Diagnostic_display_options
type t
=
{
source_location : Display_source_location.t option; |
option : bool; |
category_id : bool; |
category_name : bool; |
}
val default : t