Mavkit_smart_rollup_wasm_debugger_lib
module Commands : sig ... end
module Config : sig ... end
module Custom_section : sig ... end
This files implements the parsing of custom subsection, especially the `name` custom section (see https://webassembly.github.io/spec/core/appendix/custom.html#name-section).
module Messages : sig ... end
module Profiling : sig ... end
module Repl_helpers : sig ... end
module Wasm_debugger : sig ... end