[examples] swap pool implementation (MystenLabs#2510)

- adds a liquidity pool implementation - SUI for any T is allowed
zhaojiewen · Jul 21, 2022 · c195f49 · c195f49
1 parent 4e5bb18
commit c195f49
Show file tree

Hide file tree

Showing 2 changed files with 538 additions and 2 deletions.
diff --git a/crates/sui-framework/sources/balance.move b/crates/sui-framework/sources/balance.move
@@ -72,12 +72,12 @@ module sui::balance {
     public fun join<T>(self: &mut Balance<T>, balance: Balance<T>): u64 {
         let Balance { value } = balance;
         self.value = self.value + value;
-        value
+        self.value
     }
 
     spec join {
         ensures self.value == old(self.value) + balance.value;
-        ensures result == balance.value;
+        ensures result == self.value;
     }
 
     /// Split a `Balance` and take a sub balance from it.