---------------------------------------------------------------------- output_words_as_bin (wordsLib) ---------------------------------------------------------------------- output_words_as_bin : unit -> unit SYNOPSIS Makes word literals pretty-print as binary. DESCRIBE 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 wordsLib.output_words_as, wordsLib.remove_word_printer, wordsLib.output_words_as_dec, wordsLib.output_words_as_oct, wordsLib.output_words_as_hex. ----------------------------------------------------------------------