Filtering...

fmt-to-str

books/xdoc/fmt-to-str
other
(in-package "XDOC")
other
(include-book "std/util/bstar" :dir :system)
other
(include-book "std/strings/pretty-program" :dir :system)
other
(include-book "str")
other
(set-state-ok t)
other
(program)
fmt-to-strfunction
(defun fmt-to-str
  (x base-pkg)
  (b* ((config (make-printconfig :hard-right-margin 68
         :print-lowercase t
         :home-package base-pkg)))
    (pretty x :config config)))
fmt-and-encode-to-accfunction
(defun fmt-and-encode-to-acc
  (x base-pkg acc)
  (b* ((str (fmt-to-str x base-pkg)) (acc (simple-html-encode-str str
          0
          (length str)
          acc)))
    acc))