remove_word_printer : unit -> unit
STRUCTURE
wordsLib
SYNOPSIS
Turns off custom pretty-printing for word literals.
DESCRIPTION
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";
...
- ``0x10000000w``;
<<HOL message: inventing new type variable names: 'a>>
> val it = ``0x10000000w`` : term
- wordsLib.remove_word_printer();
- ``0x10000000w``;
<<HOL message: inventing new type variable names: 'a>>
> val it = ``268435456w`` : term
SEEALSO
remove_user_printer, output_words_as, output_words_as_dec, output_words_as_bin, output_words_as_oct, output_words_as_hex
HOL  Kananaskis-13