Event to update the table of shallowly embedded C structures by recording a new C structure in it.
(defstruct-table-record-event tag info) → event
Function:
(defun defstruct-table-record-event (tag info) (declare (xargs :guard (and (stringp tag) (defstruct-infop info)))) (let ((__function__ 'defstruct-table-record-event)) (declare (ignorable __function__)) (cons 'table (cons *defstruct-table* (cons tag (cons (cons 'quote (cons info 'nil)) 'nil))))))
Theorem:
(defthm pseudo-event-formp-of-defstruct-table-record-event (b* ((event (defstruct-table-record-event tag info))) (pseudo-event-formp event)) :rule-classes :rewrite)