package octez-l2-libs

  1. Overview
  2. Docs
package octez-l2-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val parse_module : string -> Tezos_webassembly_interpreter.Ast.module_
val wat2wasm : string -> string Lwt.t
val default_max_tick : int64
val production_max_tick : int64
val default_outbox_validity_period : int32
val default_outbox_message_limit : Z.t
val new_message_counter : unit -> unit -> Z.t
module Kernels : sig ... end
val project_root : string
val (//) : string -> string -> string
val test_with_kernel : string -> (string -> (unit, 'a) Stdlib.result Lwt.t) -> unit -> (unit, 'a) Stdlib.result Lwt.t
val read_test_messages : string list -> string list Lwt.t
val write_debug_on_stdout : Tezos_scoru_wasm.Builtins.write_debug

Can be passed to be used as a host function compute_step_many ~write_debug:write_debug_on_stdout ...

module In_memory_context : sig ... end
include sig ... end
val initial_tree : version:Tezos_scoru_wasm.Wasm_pvm_state.version -> ?ticks_per_snapshot:int64 -> ?max_reboots:Z.t -> ?from_binary:bool -> ?outbox_validity_period:int32 -> ?outbox_message_limit:Z.t -> string -> tree Lwt.t
val input_info : int32 -> Z.t -> Tezos_scoru_wasm.Wasm_pvm_state.input_info
val reveal_builtins : Tezos_scoru_wasm.Builtins.reveals
val eval_until_stuck : ?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals -> ?write_debug:Tezos_scoru_wasm.Builtins.write_debug -> ?max_steps:int64 -> tree -> (Tezos_scoru_wasm.Wasm_pvm_errors.t * tree) Tezos_base.TzPervasives.tzresult Lwt.t
val eval_to_snapshot : ?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals -> ?write_debug:Tezos_scoru_wasm.Builtins.write_debug -> ?max_steps:int64 -> tree -> tree Lwt.t
val eval_until_input_requested : ?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals option -> ?write_debug:Tezos_scoru_wasm.Builtins.write_debug -> ?after_fast_exec:(unit -> unit) -> ?fast_exec:bool -> ?max_steps:int64 -> tree -> tree Lwt.t
val eval_until_input_or_reveal_requested : ?write_debug:Tezos_scoru_wasm.Builtins.write_debug -> ?after_fast_exec:(unit -> unit) -> ?fast_exec:bool -> ?max_steps:int64 -> tree -> tree Lwt.t
val set_sol_input : int32 -> tree -> tree Lwt.t
val set_protocol_migration_input : Tezos_scoru_wasm.Pvm_input_kind.protocol -> int32 -> tree -> tree Lwt.t
val set_info_per_level_input : ?migration_block:bool -> int32 -> tree -> tree Lwt.t
val set_eol_input : int32 -> Z.t -> tree -> tree Lwt.t
val set_raw_message : int32 -> Z.t -> string -> tree -> tree Lwt.t
val set_input_step : string -> int -> tree -> tree Lwt.t
val set_internal_message : int32 -> Z.t -> string -> tree -> tree Lwt.t
val set_inputs_step : ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol -> (int32 -> Z.t -> 'a -> tree -> tree Lwt.t) -> 'a Tezos_base.TzPervasives.trace -> int32 -> tree -> tree Lwt.t
val set_full_input_step : ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol -> string list -> int32 -> tree -> tree Lwt.t
val set_empty_inbox_step : ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol -> int32 -> tree -> tree Lwt.t
val set_full_input_step_gen : ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol -> (int32 -> Z.t -> 'a -> tree -> tree Lwt.t) -> 'a list -> int32 -> tree -> tree Lwt.t
val set_full_raw_input_step : ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol -> string Tezos_base.TzPervasives.trace -> int32 -> tree -> tree Lwt.t
val eval_until_init : tree -> tree Lwt.t
val eval_to_result : ?write_debug:Tezos_scoru_wasm.Builtins.write_debug -> ?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals -> tree -> (tree * int64) Lwt.t
val pp_state : Stdlib.Format.formatter -> Tezos_scoru_wasm.Wasm_pvm_state.Internal_state.tick_state -> unit
val print_error_state : Tezos_scoru_wasm.Wasm_pvm_errors.t -> string
val check_error : ?expected_kind: [ `Decode | `Eval | `Init | `Invalid_state | `Link | `No_fallback_decode | `No_fallback_init | `No_fallback_link | `Too_many_reboots | `Too_many_ticks | `Unknown ] -> ?expected_reason:string -> Tezos_scoru_wasm.Wasm_pvm_errors.t -> bool
val is_stuck : ?step: [ `Decode | `Eval | `Init | `Invalid_state | `Link | `No_fallback_decode | `No_fallback_init | `No_fallback_link | `Too_many_reboots | `Too_many_ticks | `Unknown ] -> ?reason:string -> Tezos_scoru_wasm.Wasm_pvm_state.Internal_state.tick_state -> bool
val wrap_as_durable_storage : tree -> Tezos_webassembly_interpreter.Durable_storage.t Lwt.t
val has_stuck_flag : tree -> bool Lwt.t
val make_durable : (string * string) list -> Tezos_webassembly_interpreter.Durable_storage.t Lwt.t
module Ctx : sig ... end
module Tree_encoding_runner : sig ... end
module Wasm : sig ... end
module Wasm_fast : 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