Go to the previous, next section.

Printing Methods

Instructions can be printed out as text using the print method. The optional depth parameter specifies the indentation level for the output. The elab and en parameters are also optional and are only used when printing sub-expressions. Most users should never need to worry about these extra parameters. The elab parameter is the number for the label attached to the instruction, and the en parameter is the next number to be used for labeling subexpressions.

Go to the previous, next section.