package octez-smart-rollup-node-lib

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type 'fuel eval_state = {

state : Tezos_layer2_store.Context.pvmstate;
(*
The actual PVM state.
*)
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 for the PVM.

type 'fuel eval_result = {

state : 'fuel eval_state;
num_ticks : Z.t;
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