|
|
|---|
|
|
|
|---|
Default printer options.
(default-priopt) → *
For convenience, we provide a choice of default printer options, in the form of this nullary function, which can be passed to print-fileset.
We set the indentation size to two spaces.
We do not add parentheses around nested conditionals.
Function:
(defun default-priopt nil (declare (xargs :guard t)) (let ((__function__ 'default-priopt)) (declare (ignorable __function__)) (make-priopt :indent-size 2 :paren-nested-conds nil)))