output_words_as_bin : unit -> unit
STRUCTURE
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
HOL  Kananaskis-13