show_numeral_types
Globals.show_numeral_types : bool ref
A flag which causes numerals to be printed with suffix annotation when true.
This flag controls the pretty-printing of numeral forms that have been
added to the global grammar with the function add_numeral_form. If the
flag is true, then all numeric values are printed with the single-letter
suffixes that identify which type the value is.
Failure
Never fails, as it is just an SML value.
Example
> Term`~3`;
val it = “-3”: term
> show_numeral_types := true;
val it = (): unit
> Term`~3`;
val it = “-3i”: term
Can help to disambiguate terms involving numerals.