Pvm_plugin_sig (octez-smart-rollup-node-lib.Octez_smart_rollup_node.Pvm_plugin

type 'fuel eval_state_info = {

state_hash : Octez_smart_rollup.State_hash.t;
(*
Hash of state.
*)
tick : Z.t;
(*
Tick of state.
*)
inbox_level : int32;
(*
Inbox level in which messages are evaluated.
*)
message_counter_offset : int;
(*
Offset for message index, which corresponds to the number of messages of the inbox already evaluated.
*)
remaining_fuel : 'fuel;
(*
Fuel remaining for the evaluation of the inbox.
*)
remaining_messages : string list;
(*
Messages of the inbox that remain to be evaluated.
*)

}

Evaluation state information for the PVM.

type ('fuel, 'state) eval_state = {

state : 'state;
(*
The actual PVM state.
*)
info : 'fuel eval_state_info;
(*
Information about state. These become invalid as soon as state is modified.
*)

}

type 'fuel eval_result = {

state_info : 'fuel eval_state_info;
num_ticks : Z.t;
num_messages : int;

}

Evaluation result for the PVM which contains information about the final state.

val to_mut_eval_state : 
  ('a, Tezos_layer2_store.Context.PVMState.immutable_value) eval_state ->
  ('a, [ `Read | `Write ] Tezos_layer2_store.Context.PVMState.value) eval_state

val to_imm_eval_state : 
  ('a, [< `Read | `Write Read ] Tezos_layer2_store.Context.PVMState.value)
    eval_state ->
  ('a, Tezos_layer2_store.Context.PVMState.immutable_value) eval_state

module Tick_state_cache : Aches_lwt.Lache.MAP_RESULT with type key = Z.t

type state_cache =
  ((Fuel.Accounted.t, Tezos_layer2_store.Context.PVMState.immutable_value)
     eval_state,
    Tezos_base.TzPervasives.tztrace)
    Tick_state_cache.t

val make_state_cache : int -> ('a, 'b) Tick_state_cache.t

module type FUELED_PVM = sig ... end

module type S = sig ... end