Module Mavkit_smart_rollup_node.Pvm_plugin_sig

type 'fuel eval_state = {
  1. state : Mavryk_layer2_store.Context.pvmstate;
    (*

    The actual PVM state.

    *)
  2. state_hash : Mavkit_smart_rollup.State_hash.t;
    (*

    Hash of state.

    *)
  3. tick : Z.t;
    (*

    Tick of state.

    *)
  4. inbox_level : int32;
    (*

    Inbox level in which messages are evaluated.

    *)
  5. message_counter_offset : int;
    (*

    Offset for message index, which corresponds to the number of messages of the inbox already evaluated.

    *)
  6. remaining_fuel : 'fuel;
    (*

    Fuel remaining for the evaluation of the inbox.

    *)
  7. remaining_messages : string list;
    (*

    Messages of the inbox that remain to be evaluated.

    *)
}

Evaluation state for the PVM.

type 'fuel eval_result = {
  1. state : 'fuel eval_state;
  2. num_ticks : Z.t;
  3. num_messages : int;
}

Evaluation result for the PVM which contains the evaluation state and additional information.

module type FUELED_PVM = sig ... end
module type S = sig ... end