Library EVMOpSem.helper

Require Import Bvector.
Require Export Bvector.

Require Import EVMOpSem.Zdigits.
Require Export EVMOpSem.Zdigits.

Require Import Coq.Lists.List.
Export ListNotations.

Open Scope list_scope.

Require Import ZArith.
Definition word256_default := Z_to_binary 256 0%Z.