		Search-engine friendly clone of the ACL2 documentation.

Vl-server

Vls-get-unloaded-json

Signature
(vls-get-unloaded-json scanned loaded) → *
Arguments: scanned — Guard (vls-scannedalist-p scanned).; loaded — Guard (vls-loadedalist-p loaded).

Definitions and Theorems

Function: vls-get-unloaded-json

(defun vls-get-unloaded-json (scanned loaded)
  (declare (xargs :guard (and (vls-scannedalist-p scanned)
                              (vls-loadedalist-p loaded))))
  (let ((__function__ 'vls-get-unloaded-json))
    (declare (ignorable __function__))
    (vls-scannedalist-to-json
         (vls-remove-from-scannedalist (alist-keys loaded)
                                       scanned))))