(s, i, j)
return get_env().formula_manager.StrSubstr(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(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 get_env().formula_manager.StrSubstr(s, i, j)
def StrSubstr ( s , i , j ) : return get_env ( ) . formula_manager . StrSubstr ( s , i , j )