output_words_as_hex : unit -> unit
STRUCTURE
wordsLib
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
remove_word_printer, output_words_as_dec, output_words_as_bin, output_words_as_oct
HOL  Trindemossen-1