		Search-engine friendly clone of the ACL2 documentation.

Block$-p

Make-honsed-block$

Constructor macro for honsed block$-p structures.

Syntax:

(make-honsed-block$ [:header <header>] 
                    [:transations <transations>] 
                    [:ommer-headers <ommer-headers>])

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

Definition

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

Macro: make-honsed-block$

(defmacro make-honsed-block$ (&rest args)
  (std::make-aggregate 'block$
                       args
                       '((:header)
                         (:transations)
                         (:ommer-headers))
                       'make-honsed-block$
                       t))