pp_print_colored_thm : formatter -> thm -> unit
- SYNOPSIS
-
Prints a theorem to formatter.
- DESCRIPTION
-
The call pp_print_colored_thm fmt th prints the colored representation of the
theorem th to the formatter fmt.
To print without colors, use pp_print_thm.
For its color configuration, see pp_print_colored_type and pp_print_colored_term.
- FAILURE CONDITIONS
-
Should never fail unless the formatter does.
- SEE ALSO
-
pp_print_colored_term, pp_print_colored_type, pp_print_thm, print_thm, set_color_printer.