Method sort

lean_py/z3/core.py:3149–3153

(self)

        super().__init__(ast, sort, vars)

    def sort(self) -> FPSortRef:
        s = self._sort
        if isinstance(s, FPSortRef):
            return s
        return FPSortRef(0, 0)

    def ebits(self) -> int:
        return self.sort().ebits()