access fast property lists
Major Section:  ACL2-BUILT-INS

General form:
(getprop symb key default world-name world-alist)

See community book books/misc/getprop.lisp for an example that illustrates the use of ACL2 utilities getprop and putprop to take advantage of under-the-hood Lisp (hashed) property lists.

To see the ACL2 definition of this function, see pf.