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.