1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
<html>
<head><title>PCB_bang_.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>PCB!</h2>print in full the <a href="COMMAND.html">command</a> block described by a <a href="COMMAND.html">command</a> descriptor
<pre>Major Section: <a href="HISTORY.html">HISTORY</a>
</pre><p>
<pre>
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
</pre>
See <a href="COMMAND-DESCRIPTOR.html">command-descriptor</a>.
<p>
<code>Pcb!</code> takes one argument, a <a href="COMMAND.html">command</a> descriptor, and prints the
<a href="COMMAND.html">command</a> block of the <a href="COMMAND.html">command</a> described. Unlike <code><a href="PCB.html">pcb</a></code>, <code>pcb!</code> prints the
event forms in full; see <a href="PCB.html">pcb</a> for details.
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>
</body>
</html>
|
