update interface file

moonbitlang · Dec 13, 2024 · e1d1805 · e1d1805
1 parent 0abcf4e
commit e1d1805
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/builtin/builtin.mbti b/builtin/builtin.mbti
@@ -359,6 +359,7 @@ impl Unit {
 impl Bool {
   compare(Bool, Bool) -> Int
   default() -> Bool
+  negate(Bool) -> Bool
   not(Bool) -> Bool
   op_compare(Bool, Bool) -> Int //deprecated
   op_equal(Bool, Bool) -> Bool