remove_word_printer : unit -> unit
STRUCTURE
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
HOL  Kananaskis-13