From 2f7c852ee27b929d5b1f99e0bf9b6601e601b292 Mon Sep 17 00:00:00 2001
From: Haoxiang Fei <feihaoxiang@idea.edu.cn>
Date: Fri, 3 Jan 2025 15:46:31 +0800
Subject: [PATCH] update moon info

---
 builtin/builtin.mbti | 1 +
 double/double.mbti   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/builtin/builtin.mbti b/builtin/builtin.mbti
index 0217cce29..8927bc2f3 100644
--- a/builtin/builtin.mbti
+++ b/builtin/builtin.mbti
@@ -632,6 +632,7 @@ impl Double {
   to_int(Double) -> Int
   to_int64(Double) -> Int64
   to_json(Double) -> Json
+  to_uint64(Double) -> UInt64
   until(Double, Double, step~ : Double = .., inclusive~ : Bool = ..) -> Iter[Double]
   upto(Double, Double, inclusive~ : Bool = ..) -> Iter[Double] //deprecated
 }
diff --git a/double/double.mbti b/double/double.mbti
index 80ec5d459..a9fb46190 100644
--- a/double/double.mbti
+++ b/double/double.mbti
@@ -38,6 +38,7 @@ impl Double {
   round(Double) -> Double
   signum(Double) -> Double
   to_string(Double) -> String
+  to_uint(Double) -> UInt
   trunc(Double) -> Double
 }