(x)
return get_env().formula_manager.IntToStr(x)
Returns the corresponding String representing the natural number x.

    where x is an integer term. If x is not a natural number it
    returns the empty String.
Returns the corresponding String representing the natural number x.
Returns the corresponding String representing the natural number x .
def IntToStr(x):
    """Returns the corresponding String representing the natural number x.

    where x is an integer term. If x is not a natural number it
    returns the empty String.
    """
    return get_env().formula_manager.IntToStr(x)
def IntToStr ( x ) : return get_env ( ) . formula_manager . IntToStr ( x )