Use new core func type

kframework · Jun 13, 2020 · e3609a0 · e3609a0
1 parent 9eb40fb
commit e3609a0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ewasm.md b/ewasm.md
@@ -72,7 +72,7 @@ Then, when a `HostCall` instruction is encountered, parameters are gathered from
 
 ```k
     rule <k> ( import MODNAME FNAME (func OID:OptionalId TUSE:TypeUse) )
-          => ( func OID TUSE .LocalDecls #eeiFunction(FNAME) .Instrs )
+          => #func(... type: TUSE, locals: .LocalDecls, body: #eeiFunction(FNAME) .Instrs, metadata: #meta(... id: OID, localIds: .Map))
          ...
          </k>
       requires MODNAME ==K #ethereumModule