Method __init__

lean_py/z3/core.py:3227–3232

(self, name: str)

    __slots__ = ()

    def __init__(self, name: str) -> None:
        super().__init__(
            _AstVar(name),
            SortRef(_rm_ast_sort),
            frozenset(),
        )


def FPSort(ebits: int, sbits: int, ctx: Context | None = None) -> FPSortRef: