Function rustc_mir::util::write_graphviz_node_label

pub fn write_graphviz_node_label<W: Write, INIT, FINI>(
    block: BasicBlock, 
    body: &Body<'_>, 
    dark_mode: bool, 
    w: &mut W, 
    num_cols: u32, 
    init: INIT, 
    fini: FINI
) -> Result<()> where
    INIT: Fn(&mut W) -> Result<()>,
    FINI: Fn(&mut W) -> Result<()>, 

Write a graphviz HTML-styled label for the given basic block, with all necessary escaping already performed. (This is suitable for emitting directly, as is done in this module, or for use with the LabelText::HtmlStr from librustc_graphviz.)

init and fini are callbacks for emitting additional rows of data (using HTML enclosed with <tr> in the emitted text).