package octez-l2-libs

  1. Overview
  2. Docs
package octez-l2-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_scoru_wasm.Wasm_pvm_stateSource

Sourcetype version =
  1. | V0
  2. | V1
  3. | V2
  4. | V3
  5. | V4
Sourceval versions : (string * version) list
Sourceval versions_flip : (version * string) list
Sourcetype input_info = {
  1. inbox_level : Tezos_base.Bounded.Non_negative_int32.t;
    (*

    The inbox level at which the message exists.

    *)
  2. message_counter : Z.t;
    (*

    The index of the message in the inbox.

    *)
}

Represents the location of an input message.

Sourcetype output_info = {
  1. outbox_level : Tezos_base.Bounded.Non_negative_int32.t;
    (*

    The outbox level at which the message exists.

    *)
  2. message_index : Z.t;
    (*

    The index of the message in the outbox.

    *)
}

Represents the location of an output message.

Sourcetype reveal = Tezos_webassembly_interpreter.Host_funcs.reveal =
  1. | Reveal_raw of string
Sourceval reveal_raw_data_tag : char
Sourceval reveal_raw_data : string -> reveal
Sourceval reveal_metadata_payload : string
Sourceval reveal_metadata : reveal
Sourcemodule Compatibility : sig ... end
Sourcetype input_request =
  1. | No_input_required
    (*

    The VM does not expect any input.

    *)
  2. | Input_required
    (*

    The VM needs input in order to progress.

    *)
  3. | Reveal_required of reveal

Represents the state of input requests.

Sourcetype info = {
  1. current_tick : Z.t;
    (*

    The number of ticks processed by the VM, zero for the initial state. current_tick must be incremented for each call to step

    *)
  2. last_input_read : input_info option;
    (*

    The last message to be read by the VM, if any.

    *)
  3. input_request : input_request;
    (*

    The current VM input request.

    *)
}

Represents the state of the VM.

Sourcemodule Internal_state : sig ... end

This module type defines the state for the PVM. For use in lib_scoru_wasm only.

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