Print the JSON encoding of a vl-enumbasetype-p to ps.
(vl-jp-enumbasetype x &key (ps 'ps)) → ps
Function:
(defun vl-jp-enumbasetype-fn (x ps) (declare (xargs :stobjs (ps))) (declare (xargs :guard (vl-enumbasetype-p x))) (let ((__function__ 'vl-jp-enumbasetype)) (declare (ignorable __function__)) (vl-ps-seq (vl-print "{\"tag\": ") (jp-sym ':vl-enumbasetype) (vl-print ", ") (vl-print-str "\"kind\": ") (vl-jp-enumbasekind (vl-enumbasetype->kind x)) (vl-println? ", ") (vl-print-str "\"signedp\": ") (jp-bool (vl-enumbasetype->signedp x)) (vl-println? ", ") (vl-print-str "\"dim\": ") (vl-jp-maybe-packeddimension (vl-enumbasetype->dim x)) (vl-println? "}"))))