Function rustc_session::options::parse::parse_dump_solver_proof_tree

pub(crate) fn parse_dump_solver_proof_tree(
    slot: &mut DumpSolverProofTree,
    v: Option<&str>
) -> bool