package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type color = [
  1. | `BLACK
  2. | `BLUE
  3. | `CYAN
  4. | `DEFAULT
  5. | `GREEN
  6. | `INDEX of int
  7. | `LIGHT_BLACK
  8. | `LIGHT_BLUE
  9. | `LIGHT_CYAN
  10. | `LIGHT_GREEN
  11. | `LIGHT_MAGENTA
  12. | `LIGHT_RED
  13. | `LIGHT_WHITE
  14. | `LIGHT_YELLOW
  15. | `MAGENTA
  16. | `RED
  17. | `RGB of int * int * int
  18. | `WHITE
  19. | `YELLOW
]
type style = {
  1. fg_color : color option;
  2. bg_color : color option;
  3. bold : bool option;
  4. italic : bool option;
  5. underline : bool option;
  6. negative : bool option;
  7. prefix : string option;
  8. suffix : string option;
}
val make : ?fg_color:color -> ?bg_color:color -> ?bold:bool -> ?italic:bool -> ?underline:bool -> ?negative:bool -> ?style:style -> ?prefix:string -> ?suffix:string -> unit -> style
val merge : style -> style -> style
val diff : style -> style -> style
val repr : style -> int list
val eval : style -> string
val reset : string
val reset_style : style
val has_style : Unix.file_descr -> bool
val parse : string -> (string * style) list