remove_word_printer
wordsLib.remove_word_printer : unit -> unit
Turns off custom pretty-printing for word literals.
The function remove_word_printer calls Parse.remove_user_printer to
remove pretty-printing for ground instances of "n2w n". This will
normally mean that words output in decimal format.
Example
> load "wordsLib";
val it = (): unit
> “0x10000000w”;
val it = “268435456w”: term
> wordsLib.remove_word_printer();
val it = (): unit
> “0x10000000w”;
val it = “0x10000000w”: term
See also
Parse.remove_user_printer,
wordsLib.output_words_as,
wordsLib.output_words_as_dec,
wordsLib.output_words_as_bin,
wordsLib.output_words_as_oct,
wordsLib.output_words_as_hex