Wasm_debugger (mavkit-smart-rollup-wasm-debugger-lib.Mavkit_smart_rollup_wasm_debugger_lib.Wasm

module Make (Wasm : Mavryk_scoru_wasm_helpers.Wasm_utils_intf.S) : sig ... end

include sig ... end

module Commands : sig ... end

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

val typecheck_module : 
  Mavryk_webassembly_interpreter.Ast.module_ ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val import_pvm_host_functions : 
  version:Mavryk_scoru_wasm.Wasm_pvm_state.version ->
  unit ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val link : 
  Mavryk_webassembly_interpreter.Ast.module_ ->
  Mavryk_webassembly_interpreter.Instance.extern list
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

val set_durable_value : 
  Mavryk_scoru_wasm_helpers.Wasm_utils.Tree_encoding_runner.tree ->
  string ->
  string ->
  Mavryk_scoru_wasm_helpers.Wasm_utils.Tree_encoding_runner.tree Lwt.t

val handle_installer_config_instr : 
  Mavryk_scoru_wasm.Durable.t ->
  Mavkit_smart_rollup.Installer_config.instr ->
  Mavryk_scoru_wasm.Durable.t Lwt.t

val handle_installer_config : 
  Mavkit_smart_rollup.Installer_config.instr list ->
  Mavryk_scoru_wasm_helpers.Wasm_utils.Tree_encoding_runner.tree ->
  Mavryk_scoru_wasm_helpers.Wasm_utils.Tree_encoding_runner.tree Lwt.t

val handle_module : 
  ?installer_config:Mavkit_smart_rollup.Installer_config.instr list ->
  ?tree:Mavryk_scoru_wasm_helpers.Wasm_utils.tree ->
  Mavryk_scoru_wasm.Wasm_pvm_state.version ->
  bool ->
  string ->
  string ->
  (Mavryk_scoru_wasm_helpers.Wasm_utils.tree, Mavryk_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val start : 
  ?installer_config:Mavkit_smart_rollup.Installer_config.instr list ->
  ?tree:Mavryk_scoru_wasm_helpers.Wasm_utils.tree ->
  Mavryk_scoru_wasm.Wasm_pvm_state.version ->
  Lwt_io.file_name ->
  (Mavryk_scoru_wasm_helpers.Wasm_utils.tree, Mavryk_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

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

val file_parameter : (string, unit) Mavryk_clic.parameter

val dir_parameter : (string, unit) Mavryk_clic.parameter

val wasm_parameter : (string, unit) Mavryk_clic.parameter

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

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

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

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

val rollup_parameter : 
  (Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Address.t, unit)
    Mavryk_clic.parameter

val rollup_arg : 
  (Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Address.t option,
    unit)
    Mavryk_clic.arg

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

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

val version_parameter : 
  (Mavryk_scoru_wasm.Wasm_pvm_state.version, unit) Mavryk_clic.parameter

val version_arg : 
  (Mavryk_scoru_wasm.Wasm_pvm_state.version option, unit) Mavryk_clic.arg

val no_kernel_debug_flag : (bool, unit) Mavryk_clic.arg

val flamecharts_directory_arg : (string option, unit) Mavryk_clic.arg

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

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

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

val handle_plugin_file : string -> unit

val handle_plugins : string list -> unit

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

val main : unit -> unit