[mypy] Fixes typing errors in other/dpll#5648

spazm wants to merge 1 commit intoTheAlgorithms:masterTheAlgorithms/Python:masterfrom

spazm:mypy-fix-other-davisbspazm/Python:mypy-fix-other-davisbCopy head branch name to clipboard