output_words_as_hex : unit -> unit
STRUCTURE
SYNOPSIS
Makes word literals pretty-print as hexadecimal.
DESCRIPTION
A call to output_words_as_hex will make word literals output in hexadecimal format.
EXAMPLE
- wordsLib.output_words_as_hex();
- EVAL ``44w : word32 << 3``
> val it = |- 0x2Cw << 3 = 0x160w : thm
SEEALSO
HOL  Kananaskis-10