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