Module `Cfg_colours`

type directive = Format.formatter -> unit

A colour directive. Can be passed as an argument to Format.printf and frients using the "%t" specifier. Each directive (besides pop) acts by pushing a new state onto a stack, allowing the previous state to be restored using pop.

val pop : directive

Undo the most recent colour directive, restoring the previous state. Raises a fatal error if the stack is empty.

val none : directive

Push a copy of the current state onto the stack. Useful when setting a colour conditionally so that a following pop will always be matched.

val terminator : directive

val block_label : directive

val block_label_exn : directive

val instr_id : directive

val pred_succ : directive

val liveness : directive

val function_name : directive

val basic : directive

val without_colours : f:(unit -> 'a) -> 'a

Module Cfg_colours

Module `Cfg_colours`