(s, t)
return get_env().formula_manager.StrSuffixOf(s, t)
Returns whether the string s is a suffix of the string t.

    where s and t are string terms.
Returns whether the string s is a suffix of the string t.
Returns whether the string s is a suffix of the string t .
def StrSuffixOf(s, t):
    """Returns whether the string s is a suffix of the string t.

    where s and t are string terms.
    """
    return get_env().formula_manager.StrSuffixOf(s, t)
def StrSuffixOf ( s , t ) : return get_env ( ) . formula_manager . StrSuffixOf ( s , t )