add minor comments

runtimeverification · Jul 12, 2024 · 25b33c3 · 25b33c3
1 parent aeebf62
commit 25b33c3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/ksoroban/kdist/soroban-semantics/configuration.md b/src/ksoroban/kdist/soroban-semantics/configuration.md
@@ -19,11 +19,11 @@ module CONFIG
             <function> .WasmString </function>
             <args> .List </args>
             <wasm/>
-            <relativeObjects> .List </relativeObjects>
+            <relativeObjects> .List </relativeObjects> // List of HostVals with absolute handles to host objects
             <contractModIdx> .Int </contractModIdx>
           </callState>
           <hostStack> .HostStack </hostStack>
-          <hostObjects> .List </hostObjects>
+          <hostObjects> .List </hostObjects> // List of ScVals
           <callStack> .List </callStack>
           <interimStates> .List </interimStates>
         </host>