prefer_int
intLib.prefer_int : unit -> unit
Makes the parser favour integer possibilities in ambiguous terms.
Calling prefer_int() causes the global grammar to be altered so that
the standard arithmetic operator symbols (+, *, etc.), as well as
numerals, are given integral types if possible. This effect is brought
about through the application of multiple calls to temp_overload_on,
so that the "arithmetic symbols" need not have been previously mapping
to integral possibilities at all (as would be the situation after a call
to deprecate_int).
Failure
Never fails.