Encode a vl-basictypekind-p as a JSON string.
(jp-basictypekind x &key (ps 'ps)) → ps
Function:
(defun jp-basictypekind-fn (x ps) (declare (xargs :stobjs (ps))) (declare (xargs :guard (vl-basictypekind-p x))) (let ((__function__ 'jp-basictypekind)) (declare (ignorable __function__)) (jp-str (vl-basictypekind->string x))))