		Search-engine friendly clone of the ACL2 documentation.

Vl-parsestate

Vl-parsestate-free

Free fast alists associated with a parse state.

Signature
(vl-parsestate-free pstate) → *
Arguments: pstate — Guard (vl-parsestate-p pstate).

Definitions and Theorems

Function: vl-parsestate-free

(defun vl-parsestate-free (pstate)
  (declare (xargs :guard (vl-parsestate-p pstate)))
  (let ((__function__ 'vl-parsestate-free))
    (declare (ignorable __function__))
    (b* (((vl-parsestate pstate) pstate))
      (fast-alist-free pstate.usertypes))))