blocks

Pi-Squared-Inc · Aug 26, 2024 · c7b643e · c7b643e
1 parent decce7d
commit c7b643e
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/statement.md b/src/statement.md
@@ -36,4 +36,13 @@ module SOLIDITY-STATEMENT
   rule if ( v(false, bool ) ) _ => .K
   rule if ( v(true, bool ) ) S else _ => S
   rule if ( v(false, bool ) ) _ else S => S
+
+  // blocks
+  rule <k> { S } => S ~> restoreEnv(E) ...</k>
+       <env> E </env>
+
+  syntax KItem ::= restoreEnv(Map)
+  rule <k> restoreEnv(E) => .K ...</k>
+       <env> _ => E </env>
+
 endmodule