Initial disambiguation table.
(dimb-init-table) → table
This consists of a single empty scope, which is the file scope. We use one disambiguation table for each translation unit.
Function:
(defun dimb-init-table nil (declare (xargs :guard t)) (let ((__function__ 'dimb-init-table)) (declare (ignorable __function__)) (list nil)))
Theorem:
(defthm dimb-tablep-of-dimb-init-table (b* ((table (dimb-init-table))) (dimb-tablep table)) :rule-classes :rewrite)