		Search-engine friendly clone of the ACL2 documentation.

Set-print-gv-defaults

Set default keyword values for print-gv

Example Forms:
(set-print-gv-defaults :conjunct t)
(set-print-gv-defaults :conjunct t :substitute t)
(set-print-gv-defaults :conjunct t :substitute 20)
(set-print-gv-defaults :evisc-tuple
                       (evisc-tuple 4   ; print-level
                                    5   ; print-length
                                    (world-evisceration-alist state nil)
                                    nil ; hiding-cars
                                    ))
(set-print-gv-defaults :conjunct :restore
                       :substitute :restore
                       :evisc-tuple :restore)
(set-print-gv-defaults)

General Form:
(set-print-gv-defaults :conjunct c
                       :substitute s
                       :evisc-tuple e)

where any or all of c, s, and e may be the keyword, :restore, and otherwise these are as for print-gv. These forms set the defaults for the corresponding keyword arguments of the print-gv utility, where the value :restore restores the system defaults; see print-gv. Evaluation returns an error-triple whose value is an alist associating keywords with their current defaults. In particular, the call (set-print-gv-defaults) simply returns an error-triple with that alist as the value, without changing any defaults.

Thus, for example, if you submit the form

(set-print-gv-defaults :substitute t
                       :conjunct t
                       :evisc-tuple (evisc-tuple 3 4 nil nil))

then subsequently, if you submit the form :print-gv or (print-gv) it would be interpreted as follows.

(print-gv :substitute t
          :conjunct t
          :evisc-tuple (evisc-tuple 3 4 nil nil))

Of course, you can override your defaults, so that for example if you subsequently submit the form (print-gv :substitute nil) or the form (print-gv :substitute nil :evisc-tuple (print-gv-evisc-tuple)), these would be equivalent to submitting the following forms, respectively.

(print-gv :substitute nil
          :conjunct t
          :evisc-tuple (evisc-tuple 3 4 nil nil))
(print-gv :substitute nil
          :conjunct t
          :evisc-tuple (print-gv-evisc-tuple))