output_words_as_oct : unit -> unit
STRUCTURE
SYNOPSIS
Makes word literals pretty-print as octal.
DESCRIPTION
A call to output_words_as_oct will make word literals output in octal format.
EXAMPLE
- ``032w:word5``;
> val it = ``32w`` : term
- wordsLib.output_words_as_oct();
- ``032w:word5``;
> val it = ``032w`` : term
- wordsLib.output_words_as_dec();
- ``032w:word5``;
> val it = ``26w`` : term
COMMENTS
Printing and parsing in octal is controlled by the reference base_tokens.allow_octal_input. A call to output_words_as_oct sets this value to true.
SEEALSO
HOL  Kananaskis-13