output_words_as_hex

wordsLib.output_words_as_hex : unit -> unit

Makes word literals pretty-print as hexadecimal.

A call to output_words_as_hex will make word literals output in hexadecimal format.

Example

> wordsLib.output_words_as_hex();
val it = (): unit
> EVAL “44w : word32 << 3”
val it = ⊢ 0x2Cw ≪ 3 = 0x160w: thm

See also

wordsLib.remove_word_printer, wordsLib.output_words_as_dec, wordsLib.output_words_as_bin, wordsLib.output_words_as_oct