		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))