		Search-engine friendly clone of the ACL2 documentation.

Json-encoders

Jp-object

Utility for printing JSON objects, which in some other languages might be called alists, dictionaries, hashes, records, etc.

Syntax Example:

(jp-object :tag  (vl-print "loc")
           :file (vl-print x.filename)
           :line (vl-print x.line)
           :col  (vl-print x.col))
 --->
{ "tag": "loc", "file": ... }

The arguments to jp-object should be an alternating list of literal keywords, which (for better performance) we assume are so simple they do not need to be encoded, and printing expressions which should handle any necessary encoding.