		Search-engine friendly clone of the ACL2 documentation.

Transdeps

Transdeps-free

Free memo tables associated with transdeps.

Signature
(transdeps-free) → *

Definitions and Theorems

Function: transdeps-free

(defun transdeps-free nil
  (declare (xargs :guard t))
  (let ((__function__ 'transdeps-free))
    (declare (ignorable __function__))
    (progn$ (clear-memoize-table 'transdeps-direct-for-node)
            nil)))