other
(in-package "STR")
other
(defconst *pretty-defs* '(raise tuplep extract-keywords da-honsed-constructor-name da-constructor-name da-remake-name da-changer-args-to-alist da-changer-let-bindings-and-args change-aggregate da-maker-fill-in-fields make-aggregate da-patbind-make-field-acc-alist da-patbind-find-used-vars da-patbind-alist-to-bindings da-patbind-fn patbind-flexsum prod-consp prod-car prod-cdr prod-cons prod-hons flexsum-p flexsum->kind flexsum->case flexsum->prods flexprod-p flexprod->kind flexprod->cond flexprods->kinds patbind-flexprod flexprod->ctor-name nice-cond find-prod-by-kind print-base-fix print-base-equiv pos-fix bool-fix symbol-fix printconfig-p printconfig printconfig->flat-right-margin printconfig->hard-right-margin printconfig->print-base printconfig->print-radix printconfig->home-package printconfig->print-lowercase make-printconfig change-printconfig patbind-printconfig *default-printconfig* basic-print-nat basic-print-int basic-print-rat basic-print-complex radix-print-int radix-print-rat radix-print-complex print-atom-aux print-atom print-escaped-charlist print-escaped-str-aux print-escaped-str my-needs-slashes in-home-package-p print-escaped-symbol print-escaped-atom nat-size int-size atom-size evisceratedp eviscerated->guts obj-size keyword-fix keyword-equiv pflat-p pflat pflat-fix pflat->width pflat->what make-pflat change-pflat patbind-pflat pinst-p pinst-kind pinst-case pinst-fix pinst-equiv pinst-flat pinst-flat->guts make-pinst-flat patbind-pinst-flat pinst-dot pinst-dot->width make-pinst-dot patbind-pinst-dot pinst-quote pinst-quote->width pinst-quote->guts make-pinst-quote patbind-pinst-quote pinst-wide pinst-wide->width pinst-wide->first pinst-wide->rest make-pinst-wide patbind-pinst-wide pinst-keyline pinst-keyline->guts make-pinst-keyline patbind-pinst-keyline pinst-keypair pinst-keypair->width pinst-keypair->kwd pinst-keypair->value make-pinst-keypair patbind-pinst-keypair pinst-indent pinst-indent->amount pinst-indent->width pinst-indent->first pinst-indent->rest make-pinst-indent patbind-pinst-indent pinst-special-term pinst-special-term->width pinst-special-term->first pinst-special-term->init-args-indent pinst-special-term->init-args pinst-special-term->body-args-indent pinst-special-term->body-args make-pinst-special-term patbind-pinst-special-term pinst->width pinstlist->max-width pprdot print-flat print-flat-objs spaces1 spaces print-column keyword-param-valuep maybe-merge-flat cons-ppr1 *ppr-special-syms* special-term-num ppr1 ppr pretty revappend-pretty pretty-list maybe-natp-fix eviscconfig-p eviscconfig eviscconfig->print-level eviscconfig->print-length eviscconfig->replacement-alist eviscconfig->hiding-cars patbind-eviscconfig make-eviscconfig evisceration-hash-mark list-of-evisceration-ellipsis-mark anti-evisceration-mark evisceration-hiding-mark eviscerate1 eviscerate1p eviscerate))