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

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

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