Make (octez-evm-node-libs.Evm_node_lib_dev.Tezos

Parameters

module Backend : Simulator.SimulationBackend

Signature

type block_param = [

| `Head of int32
| `Level of int32
| `Hash of Evm_node_lib_dev_encoding.Ethereum_types.block_hash * int32

]

val current_level : 
  [ `Main ] ->
  block_param ->
  offset:int32 ->
  Evm_node_lib_dev_tezlink.Tezos_types.level Tezos_base.TzPervasives.tzresult
    Lwt.t

val constants : 
  [ `Main ] ->
  block_param ->
  Evm_node_lib_dev_tezlink.Tezlink_constants.t Tezos_base.TzPervasives.tzresult
    Lwt.t

val balance : 
  [ `Main ] ->
  block_param ->
  Evm_node_lib_dev_tezlink.Tezos_types.Contract.t ->
  Evm_node_lib_dev_tezlink.Tezos_types.Tez.t Tezos_base.TzPervasives.tzresult
    Lwt.t

val get_storage : 
  [ `Main ] ->
  block_param ->
  Evm_node_lib_dev_tezlink.Tezos_types.Contract.t ->
  Evm_node_lib_dev_tezlink.Tezlink_imports.Alpha_context.Script.expr option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val get_code : 
  [ `Main ] ->
  block_param ->
  Evm_node_lib_dev_tezlink.Tezos_types.Contract.t ->
  Evm_node_lib_dev_tezlink.Tezlink_imports.Alpha_context.Script.expr option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val get_script : 
  [ `Main ] ->
  block_param ->
  Evm_node_lib_dev_tezlink.Tezos_types.Contract.t ->
  Evm_node_lib_dev_tezlink.Tezlink_imports.Alpha_context.Script.t option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val manager_key : 
  [ `Main ] ->
  block_param ->
  Evm_node_lib_dev_tezlink.Tezos_types.Contract.t ->
  Tezos_base.TzPervasives.Signature.Public_key.t option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val counter : 
  [ `Main ] ->
  block_param ->
  Evm_node_lib_dev_tezlink.Tezos_types.Contract.t ->
  Z.t Tezos_base.TzPervasives.tzresult Lwt.t

val block : 
  [ `Main ] ->
  block_param ->
  Evm_node_lib_dev_encoding.L2_types.Tezos_block.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val bootstrapped : 
  unit ->
  (Evm_node_lib_dev_encoding.Ethereum_types.block_hash
   * Tezos_base.TzPervasives.Time.Protocol.t)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val block_hash : 
  [ `Main ] ->
  block_param ->
  Evm_node_lib_dev_encoding.Ethereum_types.block_hash option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val monitor_heads : 
  [> `Main ] ->
  'a ->
  Evm_node_lib_dev_encoding.L2_types.Tezos_block.t Lwt_stream.t
  * Lwt_watcher.stopper

val bootstrap_accounts : 
  unit ->
  (Evm_node_lib_dev_tezlink.Tezlink_imports.Imported_protocol.Alpha_context.public_key_hash
   * Evm_node_lib_dev_tezlink.Tezos_types.Tez.t)
    list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val simulate_operation : 
  chain_id:Tezos_base.TzPervasives.Chain_id.t ->
  skip_signature:bool ->
  Evm_node_lib_dev_tezlink.Tezlink_imports.Imported_protocol.operation ->
  Tezos_base.TzPervasives.Operation_hash.t ->
  block_param ->
  Evm_node_lib_dev_tezlink.Tezlink_imports.Imported_protocol.operation_receipt
    Tezos_base.TzPervasives.tzresult
    Lwt.t