		Search-engine friendly clone of the ACL2 documentation.

Block$-p

Make-block$

Constructor macro for block$-p structures.

Syntax:

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

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

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

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

Definition

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

Macro: make-block$

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