Sourceval successes_color : [> `None ] Sourceval errors_color : [> `Red ] Sourceval failures_color : [> `Red ] Sourceval skips_color : [> `Yellow ] Sourceval todos_color : [> `Yellow ] Sourceval timeouts_color : [> `Red ] Sourceval severity :
[< `Error | `Info | `Warning ] option ->
[> `None | `Red | `Yellow ] * string Sourceval print_separator : unit -> unit