(self, s, i, j)
return self.create_node(node_type=op.STR_SUBSTR, args=(s, i, j))
Returns a substring of s starting at i and ending at j+i.

        where s is a string term and i, j are integer terms.
Returns a substring of s starting at i and ending at j+i.
Returns a substring of s starting at i and ending at j + i .
def StrSubstr(self, s, i, j):
        """Returns a substring of s starting at i and ending at j+i.

        where s is a string term and i, j are integer terms.
        """
        return self.create_node(node_type=op.STR_SUBSTR, args=(s, i, j))
def StrSubstr ( self , s , i , j ) : return self . create_node ( node_type = op . STR_SUBSTR , args = ( s , i , j ) )