Method push

lean_py/z3/core.py:3053–3054

(self, v: Any)

        self._elems: list[Any] = []

    def push(self, v: Any) -> None:
        self._elems.append(v)

    def __len__(self) -> int:
        return len(self._elems)