		Search-engine friendly clone of the ACL2 documentation.

Json-encoding

Json-comma-and-maybe-newline

Signature
(json-comma-and-maybe-newline acc) → *

Definitions and Theorems

Function: json-comma-and-maybe-newline

(defun json-comma-and-maybe-newline (acc)
  (declare (xargs :guard t))
  (let ((__function__ 'json-comma-and-maybe-newline))
    (declare (ignorable __function__))
    (if (and (consp acc)
             (or (eql (car acc) #\])
                 (eql (car acc) #\})))
        (cons #\Newline (cons #\, acc))
      (cons #\, acc))))