package octez-smart-rollup-node-lib

  1. Overview
  2. Docs
package octez-smart-rollup-node-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'fuel eval_state = {
  1. state : Tezos_layer2_store.Context.pvmstate;
    (*

    The actual PVM state.

    *)
  2. state_hash : Octez_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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct