		Search-engine friendly clone of the ACL2 documentation.

Getpropc

Access fast property lists

General form:
(getpropc symb key &optional default world-alist)

where default is nil if omitted, and world-alist is (w state) if omitted. This is a convenient abbreviation for the common case in which getprop is used for system programming, with 'current-acl2-world as the (implicit, for getpropc) world-name.

Macro: getpropc

(defmacro getpropc (symb key &optional
                         default (world-alist '(w state)))
  (cons 'getprop
        (cons symb
              (cons key
                    (cons default
                          (cons ''current-acl2-world
                                (cons world-alist 'nil)))))))