output_words_as_bin
wordsLib.output_words_as_bin : unit -> unit
Makes word literals pretty-print as binary.
A call to output_words_as_bin will make word literals output in binary
format.
Example
> wordsLib.output_words_as_bin();
val it = (): unit
> EVAL “$FCP ODD : word8”;
val it = ⊢ $FCP ODD = 0b10101010w: thm
See also
wordsLib.remove_word_printer,
wordsLib.output_words_as_dec,
wordsLib.output_words_as_oct,
wordsLib.output_words_as_hex