Prechádzame rekurzívne zoznam kým nenájdeme daný prvok (vrátime T), alebo koniec (vrátime NIL).
(defun keyin (sv tab)
(cond ((null tab) NIL)
((equal (first (first tab)) sv) T)
(T (keyin sv (rest tab)))
)
)
; Príklady:
(keyin 'xx '((k1 . 1)(xx . 2))) -> T
(keyin 'xx '((k1 . 1)(k2 . 2))) -> NIL