Lines Matching refs:ASSOC
38 "ACL2::ASSOC-EQ",
39 "ACL2::ASSOC-EQUAL",
40 "ACL2::ASSOC-EQ-EQUAL-ALISTP",
41 "ACL2::ASSOC-EQ-EQUAL",
63 "COMMON-LISP::ASSOC",
319 `(DEFUN ASSOC-EQ (X ALIST)
324 (ASSOC-EQ X (CDR ALIST)))))`,
327 `(DEFUN ASSOC-EQUAL (X ALIST)
332 (ASSOC-EQUAL X (CDR ALIST)))))`,
335 `(DEFUN ASSOC-EQ-EQUAL-ALISTP (X)
341 (ASSOC-EQ-EQUAL-ALISTP (CDR X))
347 `(DEFUN ASSOC-EQ-EQUAL (X Y ALIST)
354 (ASSOC-EQ-EQUAL X Y (CDR ALIST)))))`,
456 `(DEFUN ASSOC (X ALIST)
461 (ASSOC X (CDR ALIST)))))`,