Method at

lean_py/z3/core.py:3906–3909

Return a unit sequence at the given index.

(self, idx: ArithRef | int)

        )

    def at(self, idx: ArithRef | int) -> ExprRef:
        """Return a unit sequence at the given index."""
        elem = self[idx]
        return Unit(elem)

    def is_string(self) -> bool:
        sort = self._sort