Character equality without regard to case
For characters
The guard on
Function:
(defun char-equal (x y) (declare (xargs :guard (and (characterp x) (standard-char-p x) (characterp y) (standard-char-p y)))) (eql (char-downcase x) (char-downcase y)))