(*args)
return get_env().formula_manager.StrConcat(*args)
Returns the concatenation of n Strings.

    s1, s2, ..., and sn are String terms.
    String concatenation takes at least 2 arguments.
Returns the concatenation of n Strings.
Returns the concatenation of n Strings .
def StrConcat(*args):
    """Returns the concatenation of n Strings.

    s1, s2, ..., and sn are String terms.
    String concatenation takes at least 2 arguments.
    """
    return get_env().formula_manager.StrConcat(*args)
def StrConcat ( * args ) : return get_env ( ) . formula_manager . StrConcat ( * args )