		Search-engine friendly clone of the ACL2 documentation.

Printing-locally

Vl-ps-load-config

Load configuration settings from a vl-psconfig-p object into ps.

Signature
(vl-ps-load-config config &key (ps 'ps)) → ps
Arguments: config — Guard (vl-psconfig-p config).

Note that this does not change the currently-printed text or update the column number; it only changes the configuration settings.

Definitions and Theorems

Function: vl-ps-load-config-fn

(defun
 vl-ps-load-config-fn (config ps)
 (declare (xargs :stobjs (ps)))
 (declare (xargs :guard (vl-psconfig-p config)))
 (let
    ((__function__ 'vl-ps-load-config))
    (declare (ignorable __function__))
    (b* (((vl-psconfig config) config))
        (vl-ps-seq (vl-ps-update-autowrap-col config.autowrap-col)
                   (vl-ps-update-autowrap-ind config.autowrap-ind)
                   (vl-ps-update-htmlp config.htmlp)
                   (vl-ps-update-tabsize config.tabsize)
                   (vl-ps-update-package config.package)
                   (vl-ps-update-base config.base)
                   (vl-ps-update-eviscconfig config.eviscconfig)))))