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