		Search-engine friendly clone of the ACL2 documentation.

Putprop

Update fast property lists

General form:
(putprop symbol key value world-alist)

See world for discussion of both utilities getprop and putprop. Also 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.

Function: putprop

(defun putprop (symb key value world-alist)
       (declare (xargs :guard (and (symbolp symb)
                                   (symbolp key)
                                   (plist-worldp world-alist))))
       (cons (cons symb (cons key value))
             world-alist))