Acons
Constructor for association lists
(Acons key datum alist) equals the result of consing the pair
(cons key datum) to the front of the association list alist.
(Acons key datum alist) has a guard of (alistp alist).
Acons is a Common Lisp function. See any Common Lisp documentation for
more information.
Function: acons
(defun acons (key datum alist)
(declare (xargs :guard (alistp alist)))
(cons (cons key datum) alist))
