output_words_as_dec : unit -> unit
STRUCTURE
wordsLib
SYNOPSIS
Makes word literals pretty-print as decimal.
DESCRIPTION
A call to output_words_as_dec will make word literals output in decimal format.
EXAMPLE
- ``0x100000w``;
<<HOL message: inventing new type variable names: 'a>>
> val it = ``0x100000w`` : term
- wordsLib.output_words_as_dec();
- ``0x100000w``;
<<HOL message: inventing new type variable names: 'a>>
> val it = ``1048576w`` : term
SEEALSO
remove_word_printer, output_words_as_hex, output_words_as_bin, output_words_as_oct
HOL  Kananaskis-14