(self, x)
return self.create_node(node_type=op.INT_TO_STR, args=(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(self, 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 self.create_node(node_type=op.INT_TO_STR, args=(x, ))
def IntToStr ( self , x ) : return self . create_node ( node_type = op . INT_TO_STR , args = ( x , ) )