Writes the term X to the current output stream. write_canonical does not take account of current operator declarations - thus any structures are printed out with the functor first and the arguments in brackets.

Succeeds only once.

Examples