package wax-lib

  1. Overview
  2. Docs
package wax-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

Reporting for path-sensitive checking of conditional-annotation configurations: the configurations are enumerated by an exhaustive Cond_plan (one run each), checked one by one into collectors, and report folds their diagnostics into one report, each distinct diagnostic once, annotated with the minimal assumption under which it is reachable.

Sourcemodule Cond_plan : sig ... end

The configuration plan behind a stitched preserved tree.

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 Hints : sig ... end

Optional compiler hints carried by an instruction.

Sourcemodule Lexer : sig ... end

Lexer for Wasm Text Format (WAT).

Sourcemodule Misc : sig ... end

Miscellaneous utilities for validating Wasm values.

Sourcemodule Output : sig ... end

Pretty-printing for Wasm Text Format.

Sourcemodule Parser : sig ... end
Sourcemodule Parser_messages : sig ... end
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