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