Moved tokens of Uniswap in separate module.

Pi-Squared-Inc · Sep 11, 2024 · e6cf62b · e6cf62b
1 parent aa9c170
commit e6cf62b
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/src/solidity.md b/src/solidity.md
@@ -85,8 +85,7 @@ endmodule
 ```
 
 ```k
-module SOLIDITY-UNISWAP-INIT-SUMMARY
-  imports SOLIDITY-CONFIGURATION
+module SOLIDITY-UNISWAP-TOKENS
 
   syntax Id ::= "account"                         [token]
               | "act"                             [token]
@@ -249,6 +248,14 @@ module SOLIDITY-UNISWAP-INIT-SUMMARY
   syntax Decimal ::= "1e18" [token]
                    | "1e6"  [token]
 
+endmodule
+```
+
+```k
+module SOLIDITY-UNISWAP-INIT-SUMMARY
+  imports SOLIDITY-CONFIGURATION
+  imports SOLIDITY-UNISWAP-TOKENS
+
   rule <k> _:Program => .K ...</k>
       <summarize> true </summarize>
       (_:CompileCell =>