----------------------------------------------------------------------
output_words_as_dec                                         (wordsLib)
----------------------------------------------------------------------
output_words_as_dec : unit -> unit

SYNOPSIS
Makes word literals pretty-print as decimal.

DESCRIBE
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
wordsLib.output_words_as, wordsLib.remove_word_printer,
wordsLib.output_words_as_dec, wordsLib.output_words_as_bin,
wordsLib.output_words_as_oct.

----------------------------------------------------------------------