X and Y are whole-partitionings. Do they satisfy our criteria for being considered "possibly a typo"?
(typo-partitions-plausibly-typo-p x y) → *
Function:
(defun typo-partitions-plausibly-typo-p (x y) (declare (xargs :guard (and (character-list-listp x) (character-list-listp y)))) (let ((__function__ 'typo-partitions-plausibly-typo-p)) (declare (ignorable __function__)) (and (same-lengthp x y) (or (equal x y) (and (= (vl-typo-count-mismatches x y) 1) (let ((mismatch (vl-typo-first-mismatch x y))) (typo-mismatch-plausibly-typo-p (car mismatch) (cdr mismatch))))))))