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