		Search-engine friendly clone of the ACL2 documentation.

Strin-p

Make-honsed-strin

Constructor macro for honsed strin-p structures.

Syntax:

(make-honsed-strin [:chars <chars>] 
                   [:line <line>] 
                   [:col <col>] 
                   [:file <file>])

This is identical to make-strin, except that we hons the structure we are creating.

Definition

This is an ordinary honsing make- macro introduced by defaggregate.

Macro: make-honsed-strin

(defmacro make-honsed-strin (&rest args)
  (std::make-aggregate 'strin
                       args '((:chars) (:line) (:col) (:file))
                       'make-honsed-strin
                       t))