Module Wax_wasmSource

Sourcemodule Ast : sig ... end

WebAssembly Abstract Syntax Tree.

Sourcemodule Ast_utils : sig ... end
Sourcemodule Atomics : sig ... end
Sourcemodule Binary_to_text : sig ... end
Sourcemodule Cond_explore : sig ... end

Path-sensitive exploration of conditional-annotation configurations.

Sourcemodule Cond_solver : sig ... end

BDD-based reasoning over conditional-annotation conditions, used for path-sensitive validation.

Sourcemodule Cond_specialize : sig ... end

Specialization of conditional annotations against user-supplied variable bindings (the -D/--define CLI option).

Sourcemodule Declare_refs : sig ... end
Sourcemodule Desugar : sig ... end
Sourcemodule Fast_parser : sig ... end
Sourcemodule Folding : sig ... end

Folded/Unfolded instruction conversion.

Sourcemodule Lexer : sig ... end

Lexer for Wasm Text Format (WAT).

Sourcemodule Misc : sig ... end

Miscellaneous utilities for validating Wasm values.

Sourcemodule Naming : sig ... end

Give exported functions a name derived from their export.

Sourcemodule Output : sig ... end

Pretty-printing for Wasm Text Format.

Sourcemodule Parser : sig ... end
Sourcemodule Parser_messages : sig ... end
Sourcemodule Parsing : sig ... end

Generic parsing utilities.

Sourcemodule Recover : sig ... end

Sync-token classification for the WAT parser's panic-mode error recovery.

Sourcemodule Resolve : sig ... end

Name resolution for Wasm-text modules: maps each use of an index (a symbolic $id or a numeric index) to the definition it refers to, with source spans on both ends. This is the WAT counterpart of the use -> definition table the Wax type checker builds (Wax_lang.Typing.reference), and it powers the editor's go-to-definition, find-references, document-highlight and rename for Wasm text.

Sourcemodule Simd : sig ... end

Shared registry mapping wax SIMD intrinsic names to WebAssembly Vec* instructions and back. Single source of truth for to_wasm (forward), from_wasm (reverse) and Wax_lang.Typing (signatures).

Sourcemodule Text_to_binary : sig ... end
Sourcemodule Tokens : sig ... end
Sourcemodule Types : sig ... end

Type handling for Wasm.

Sourcemodule Validation : sig ... end

Validation of Wasm Text modules.

Sourcemodule Wasm_output : sig ... end
Sourcemodule Wasm_parser : sig ... end