		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))))