Function lean_unbox_uint64

lean_py/_runtime.py:592–598

(self, o)

        return self.lean_box(v)

    def lean_unbox_uint64(self, o):
        fn = getattr(self.lib, "lean_unbox_uint64", None)
        if fn is not None:
            fn.argtypes = [LeanObjectPtr]
            fn.restype = c_uint64
            return fn(o)
        return self.lean_unbox(o)

    def lean_box_float(self, v):
        # `lean_box_float` is `static inline` in lean.h, so it's not a