Merge branch 'master' into _update-deps/runtimeverification/k

runtimeverification · May 21, 2024 · acf474a · acf474a
2 parents e79cbc4 + abbbb1e
commit acf474a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/kevm-pyk/src/kevm_pyk/kevm.py b/kevm-pyk/src/kevm_pyk/kevm.py
@@ -499,6 +499,10 @@ def abi_tuple(values: list[KInner]) -> KApply:
     def abi_array(elem_type: KInner, length: KInner, elems: list[KInner]) -> KApply:
         return KApply('abi_type_array', [elem_type, length, KEVM.typed_args(elems)])
 
+    @staticmethod
+    def as_word(b: KInner) -> KApply:
+        return KApply('#asWord(_)_EVM-TYPES_Int_Bytes', [b])
+
     @staticmethod
     def empty_typedargs() -> KApply:
         return KApply('.List{"typedArgs"}')