Function pretty_terminator

fn pretty_terminator<W: Write>(
    writer: &mut W,
    terminator: &TerminatorKind,
) -> Result<()>