assq

assq : (x (listof (cons x y)) -> (union false (cons x y)))

purpose:
to determine whether some item is the first item of a pair
in a list of pairs


Intermediate Student with Lambda Language