package octez-l2-libs

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module T : Tezos_tree_encoding.TREE

Signature

type tree = T.tree

val compute_step_many : 
  ?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals ->
  ?write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
  ?stop_at_snapshot:bool ->
  max_steps:int64 ->
  tree ->
  (tree * int64) Lwt.t

val compute_step : tree -> tree Lwt.t

val compute_step_with_debug : 
  write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
  tree ->
  tree Lwt.t

val set_input_step : 
  Tezos_scoru_wasm.Wasm_pvm_state.input_info ->
  string ->
  tree ->
  tree Lwt.t

val reveal_step : bytes -> tree -> tree Lwt.t

val get_info : tree -> Tezos_scoru_wasm.Wasm_pvm_state.info Lwt.t

val get_wasm_version : tree -> Tezos_scoru_wasm.Wasm_pvm_state.version Lwt.t

val initial_state : 
  Tezos_scoru_wasm.Wasm_pvm_state.version ->
  tree ->
  tree Lwt.t

val install_boot_sector : 
  ticks_per_snapshot:Z.t ->
  outbox_validity_period:int32 ->
  outbox_message_limit:Z.t ->
  string ->
  tree ->
  tree Lwt.t

val get_output : 
  Tezos_scoru_wasm.Wasm_pvm_state.output_info ->
  tree ->
  string option Lwt.t

module Internal_for_tests : sig ... end