Mavkit_smart_rollup_node.Pvm_plugin_sig
type 'fuel eval_state = {
state : Mavryk_layer2_store.Context.pvmstate;
The actual PVM state.
*)state_hash : Mavkit_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 for the PVM.
Evaluation result for the PVM which contains the evaluation state and additional information.
module type FUELED_PVM = sig ... end
module type S = sig ... end