14.8 Activating the Printing of Coercions

14.8.1 Set Printing Coercions.

This command forces all the coercions to be printed. To skip the printing of coercions, use Unset Printing Coercions. By default, coercions are not printed.

14.8.2 Set Printing Coercion qualid.

This command forces coercion denoted by qualid to be printed. To skip the printing of coercion qualid, use Unset Printing Coercion qualid. By default, a coercion is never printed.