Function String

lean_py/z3/core.py:2273–2275

Create a string variable.

(name: str)

def String(name: str) -> StringRef:
    """Create a string variable."""
    return StringRef(_AstVar(name), frozenset([(name, StringASTSort())]))


def Strings(names: str) -> tuple[StringRef, ...]: