overload_info_for: string -> unit
STRUCTURE
SYNOPSIS
Prints overload information for a string.
DESCRIPTION
A call to overload_info_for s will cause the system to print (to standard out) some information about the way in which the string s may be overloaded in the current global grammar. The system will print first the terms that s may parse to, and then the terms that might prompt the printing of s. Typically, both sets of terms will be the same, but they don’t have to be.
FAILURE
Never fails.
EXAMPLE
> overload_info_for "<=>";
<=> parses to:
  ($= :bool -> bool -> bool)
<=> might be printed from:
  ($= :bool -> bool -> bool)
val it = (): unit
COMMENTS
Pretty-printed grammar values (such as returned by term_grammar()) include some of this information for all the constants that the grammar parses.
SEEALSO
HOL  Kananaskis-14