PCB_bang_.html -- ACL2 Version 6.3

## PCB!

print in full the command block described by a command descriptor

    Major Section:  HISTORY

    Examples:
    :pcb! :max ; print the most recent command block
    :pcb! :x   ; print the most recent command block
    :pcb! fn   ; print the command block that introduced fn
    :pcb! 5    ; print the fifth command block

See command-descriptor.

`Pcb!` takes one argument, a command descriptor, and prints the command block of the command described. Unlike `pcb`, `pcb!` prints the event forms in full; see pcb for details.