output_words_as_dec

wordsLib.output_words_as_dec : unit -> unit

Makes word literals pretty-print as decimal.

A call to output_words_as_dec will make word literals output in decimal format.

Example

> “0x100000w”;
val it = “0b100000000000000000000w”: term
> wordsLib.output_words_as_dec();
val it = (): unit
> “0x100000w”;
val it = “1048576w”: term

See also

wordsLib.remove_word_printer, wordsLib.output_words_as_hex, wordsLib.output_words_as_bin, wordsLib.output_words_as_oct