Function StrConcat

lean_py/z3/core.py:2349–2356

Concatenate strings.

(*args: StringRef)

def StrConcat(*args: StringRef) -> StringRef:
    """Concatenate strings."""
    if not args:
        return StringVal("")
    result = args[0]
    for a in args[1:]:
        result = result + a
    return result


# ---------------------------------------------------------------------------