@loro-dev/flock 4.4.4 → 4.4.5

package/src/moonbit.d.ts

@@ -34,9 +34,18 @@ export type Float = number;
 
 export type Double = number;
 
-export type Int64 = { [__brand]: 568910272 };
+/**
+ * Backed by `bigint`, but not equal to the backing value:
+ * runtime operations interpret it with signed 64-bit wraparound semantics.
+ * Use `BigInt.asIntN(64, x)` to get the numerically equivalent `bigint`.
+ */
+export type Int64 = bigint & { [__brand]: "Int64" };
 
-export type UInt64 = { [__brand]: 689305396 };
+/**
+ * Backed directly by `bigint`.
+ * Valid `UInt64` values are in the unsigned 64-bit range `[0, 2^64)`.
+ */
+export type UInt64 = bigint & { [__brand]: "UInt64" };
 
 export type String = string;
 
@@ -44,14 +53,10 @@ export type Bytes = Uint8Array;
 
 export type FixedArray<T> = T[];
 
-export type UnboxedOption<T> = 
-  | /* Some */ T 
-  | /* None */ undefined;
+export type UnboxedOption<T> = /* Some */ T | /* None */ undefined;
 
-export type UnboxedOptionAsInt<T> = 
-  | /* Some */ T 
-  | /* None */ -1;
+export type UnboxedOptionAsInt<T> = /* Some */ T | /* None */ -1;
 
 export type Result<T, E> =
-  | /* Ok */ { $tag: 1, _0: T }
-  | /* Err */ { $tag: 0, _0: E };
+  | /* Ok */ { $tag: 1; _0: T }
+  | /* Err */ { $tag: 0; _0: E };