octez-smart-rollup-wasm-debugger-lib 19.0

Parameters

module Wasm : Tezos_scoru_wasm_helpers.Wasm_utils_intf.S

Signature

module Commands : sig ... end

val parse_binary_module : 
  string ->
  string ->
  Tezos_webassembly_interpreter.Ast.module_ Lwt.t

val typecheck_module : 
  Tezos_webassembly_interpreter.Ast.module_ ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val import_pvm_host_functions : 
  version:Tezos_scoru_wasm.Wasm_pvm_state.version ->
  unit ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val link : 
  Tezos_webassembly_interpreter.Ast.module_ ->
  Tezos_webassembly_interpreter.Instance.extern list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val handle_installer_config_instr : 
  Tezos_scoru_wasm.Durable.t ->
  Octez_smart_rollup.Installer_config.instr ->
  Tezos_scoru_wasm.Durable.t Lwt.t

val handle_installer_config : 
  Octez_smart_rollup.Installer_config.instr list ->
  Wasm.Tree_encoding_runner.tree ->
  Wasm.Tree_encoding_runner.tree Lwt.t

val handle_module : 
  ?installer_config:Octez_smart_rollup.Installer_config.instr list ->
  ?tree:Wasm.tree ->
  Tezos_scoru_wasm.Wasm_pvm_state.version ->
  bool ->
  string ->
  string ->
  (Wasm.tree, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

val start : 
  ?installer_config:Octez_smart_rollup.Installer_config.instr list ->
  ?tree:Wasm.tree ->
  Tezos_scoru_wasm.Wasm_pvm_state.version ->
  Lwt_io.file_name ->
  (Wasm.tree, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

val repl : 
  Wasm.Wasm.tree ->
  string list list ->
  int32 ->
  Config.config ->
  (Wasm.Wasm.tree, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

val file_parameter : (string, unit) Tezos_clic.parameter

val dir_parameter : (string, unit) Tezos_clic.parameter

val wasm_parameter : (string, unit) Tezos_clic.parameter

val wasm_arg : (string option, unit) Tezos_clic.arg

val input_arg : (string option, unit) Tezos_clic.arg

val installer_config_parameter : 
  ([ `Json | `Yaml ] * string, unit) Tezos_clic.parameter

val installer_config_arg : 
  (([ `Json | `Yaml ] * string) option, unit) Tezos_clic.arg

val rollup_parameter : 
  (Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Address.t, unit)
    Tezos_clic.parameter

val rollup_arg : 
  (Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Address.t option,
    unit)
    Tezos_clic.arg

val preimage_directory_arg : (string option, unit) Tezos_clic.arg

val dal_pages_directory_arg : (string option, unit) Tezos_clic.arg

val version_parameter : 
  (Tezos_scoru_wasm.Wasm_pvm_state.version, unit) Tezos_clic.parameter

val version_arg : 
  (Tezos_scoru_wasm.Wasm_pvm_state.version option, unit) Tezos_clic.arg

val no_kernel_debug_flag : (bool, unit) Tezos_clic.arg

val plugins_parameter : (string list, unit) Tezos_clic.parameter

val plugins_arg : (string list option, unit) Tezos_clic.arg

val global_options : 
  (string option
   * string option
   * Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Address.t option
   * string option
   * string option
   * Tezos_scoru_wasm.Wasm_pvm_state.version option
   * bool
   * string list option
   * ([ `Json | `Yaml ] * string) option,
    unit)
    Tezos_clic.options

val handle_plugin_file : string -> unit

val handle_plugins : string list -> unit

val dispatch : 
  string list ->
  (unit, Tezos_error_monad.Error_monad.tztrace) Stdlib.result Lwt.t

val main : unit -> unit

package octez-smart-rollup-wasm-debugger-lib

Parameters

Signature