Function lean_uint64_of_nat

lean_py/_runtime.py:639–648

(self, p)

        raise RuntimeError(f"Cannot convert uint64 {n} to Nat: lean_big_uint64_to_nat not found")

    def lean_uint64_of_nat(self, p):
        # Inline: small scalar fast-path; large path via lean_uint64_of_big_nat.
        if self.lean_is_scalar(p):
            return int(self.lean_unbox(p))
        fn = getattr(self.lib, "lean_uint64_of_big_nat", None)
        if fn is None:
            raise RuntimeError("lean_uint64_of_big_nat not found and Nat is not scalar")
        fn.argtypes = [LeanObjectPtr]
        fn.restype = c_uint64
        return int(fn(p))

    def lean_int64_to_int(self, n):
        # Prefer the C-side helper from leanpy_native, which delegates