Documentation for print_goal_consts and print_goal_depth is swapped in the SAW manual.

[ChrisEPhifer]

The SAW manual has the following under the heading "Proof Script Diagnostics":

During development of a proof, it can be useful to print various information about the current goal. The following tactics are useful in that context.

• print_goal : ProofScript () prints the entire goal in SAWCore syntax.
• print_goal_consts : ProofScript () takes an integer argument, n, and prints the goal up to depth n. Any elided subterms are printed with a ... notation.
• print_goal_depth : Int -> ProofScript () prints a list of the names of subterms that are folded in the current goal.
• print_goal_size : ProofScript () prints the number of nodes in the DAG representation of the goal.

While the types are correct, the descriptions of print_goal_consts and print_goal_depth appear to be reversed; additionally, the description of print_goal_consts (currently appearing as the description of proof_goal_depth) does not make it clear that it will display the unfoldable constants in the current goal.