output_words_as_bin : unit -> unit
STRUCTURE
wordsLib
SYNOPSIS
Makes word literals pretty-print as binary.
DESCRIPTION
A call to output_words_as_bin will make word literals output in binary format.
EXAMPLE
- wordsLib.output_words_as_bin();
- EVAL ``$FCP ODD : word8``;
> val it = |- $FCP ODD = 0b10101010w : thm
SEEALSO
output_words_as, remove_word_printer, output_words_as_dec, output_words_as_oct, output_words_as_hex
HOL  Kananaskis-13