Module Misc.ColorSource

Sourcetype color =
  1. | Black
  2. | Red
  3. | Green
  4. | Yellow
  5. | Blue
  6. | Magenta
  7. | Cyan
  8. | White
Sourcetype style =
  1. | FG of color
  2. | BG of color
  3. | Bold
  4. | Reset
Sourcetype Format.stag +=
  1. | Style of style list
Sourceval ansi_of_style_l : style list -> string
Sourcetype styles = {
  1. error : style list;
  2. warning : style list;
  3. loc : style list;
  4. hint : style list;
}
Sourceval default_styles : styles
Sourceval get_styles : unit -> styles
Sourceval set_styles : styles -> unit
Sourcetype setting =
  1. | Auto
  2. | Always
  3. | Never
Sourceval default_setting : setting
Sourceval setup : setting option -> unit
Sourceval set_color_tag_handling : Format.formatter -> unit