		Search-engine friendly clone of the ACL2 documentation.

Vl-lexstate-p

Make-vl-lexstate

Constructor macro for vl-lexstate-p structures.

Syntax:

(make-vl-lexstate [:kwdtable <kwdtable>] 
                  [:bangops <bangops>] 
                  [:poundops <poundops>] 
                  [:remops <remops>] 
                  [:andops <andops>] 
                  [:starops <starops>] 
                  [:plusops <plusops>] 
                  [:dashops <dashops>] 
                  [:dotops <dotops>] 
                  [:divops <divops>] 
                  [:colonops <colonops>] 
                  [:lessops <lessops>] 
                  [:gtops <gtops>] 
                  [:eqops <eqops>] 
                  [:xorops <xorops>] 
                  [:barops <barops>] 
                  [:dollarops <dollarops>] 
                  [:quotesp <quotesp>] 
                  [:strextsp <strextsp>] 
                  [:timelitsp <timelitsp>] 
                  [:extintsp <extintsp>])

This is our preferred way to construct vl-lexstate-p structures. It simply conses together a structure with the specified fields.

This macro generates a new vl-lexstate-p structure from scratch. See also change-vl-lexstate, which can "change" an existing structure, instead.

The vl-lexstate-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-vl-lexstate instead.

Definition

This is an ordinary make- macro introduced by defaggregate.

Macro: make-vl-lexstate

(defmacro make-vl-lexstate (&rest args)
  (std::make-aggregate 'vl-lexstate
                       args
                       '((:kwdtable)
                         (:bangops)
                         (:poundops)
                         (:remops)
                         (:andops)
                         (:starops)
                         (:plusops)
                         (:dashops)
                         (:dotops)
                         (:divops)
                         (:colonops)
                         (:lessops)
                         (:gtops)
                         (:eqops)
                         (:xorops)
                         (:barops)
                         (:dollarops)
                         (:quotesp)
                         (:strextsp)
                         (:timelitsp)
                         (:extintsp))
                       'make-vl-lexstate
                       nil))