Making an exclusive module for the constant lookup rule and importing…

… it for both preprocessing and execution

rust-semantics/expression.md

@@ -1,4 +1,5 @@
 ```k
+requires "expression/constants.md"
 requires "expression/casts.md"
 requires "expression/literals.md"
 requires "expression/variables.md"
@@ -7,5 +8,6 @@ module RUST-EXPRESSION
     imports private RUST-CASTS
     imports private RUST-EXPRESSION-LITERALS
     imports private RUST-EXPRESSION-VARIABLES
+    imports private RUST-EXPRESSION-CONSTANTS
 endmodule
 ```

rust-semantics/expression/constants.md

@@ -0,0 +1,14 @@
+```k
+
+module RUST-EXPRESSION-CONSTANTS
+    imports private COMMON-K-CELL
+    imports private RUST-SHARED-SYNTAX
+    imports private RUST-REPRESENTATION
+    imports private RUST-PREPROCESSING-CONFIGURATION
+
+    rule <k> Name:Identifier::.PathExprSegments => V ... </k>
+        <constant-name> Name </constant-name>
+        <constant-value> V:Value </constant-value>
+
+endmodule
+```

rust-semantics/preprocessing/constants.md

@@ -24,10 +24,5 @@ module RUST-CONSTANTS
             </constant>
             ...
         </constants>
-
-    rule <k> Name:Identifier::.PathExprSegments => V ... </k>
-        <constant-name> Name </constant-name>
-        <constant-value> V:Value </constant-value>
-
 endmodule
 ```

rust-semantics/targets/preprocessing/rust.md

@@ -4,6 +4,7 @@ requires "configuration.md"
 requires "../../preprocessing.md"
 requires "../../representation.md"
 requires "../../expression/casts.md"
+requires "../../expression/constants.md"
 requires "../../expression/literals.md"
 requires "../../rust-common-syntax.md"
 
@@ -13,6 +14,7 @@ endmodule
 
 module RUST
     imports private RUST-EXPRESSION-LITERALS
+    imports private RUST-EXPRESSION-CONSTANTS
     imports private RUST-PREPROCESSING
     imports private RUST-RUNNING-CONFIGURATION
 endmodule