Function varisat::proof::handle_io_errors

fn handle_io_errors<'a>(
    ctx: Mut<SolverStateP, Mut<ProofP<'a>, Ref<Context<'a>>>>, 
    result: Result<()>
)

Handle io errors during proof writing.