Reference sort. (#22)

Pi-Squared-Inc · Aug 26, 2024 · abe0ef0 · abe0ef0
1 parent 3c384f8
commit abe0ef0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/solidity.md b/src/solidity.md
@@ -117,6 +117,11 @@ module SOLIDITY-DATA
   syntax CallArgumentList ::= TypedVals
   syntax KResult ::= TypedVal
   syntax Value ::= MInt{8} | MInt{32} | MInt{112} | MInt{160} | MInt{256} | Bool | String
+  syntax Reference ::= stateVarRef(Id)
+                     | localVarRef(Int)
+                     | mappingValueRef(Reference, Value)
+                     | arrayElementRef(Reference, Value)
+  syntax Value ::= Reference
 
   syntax List ::= getTypes(ParameterList) [function]
   rule getTypes(.ParameterList) => .List