Module Wax_langSource

Sourcemodule Ast : sig ... end

Wax Abstract Syntax Tree.

Sourcemodule Ast_utils : sig ... end
Sourcemodule Cond_specialize : sig ... end

Specialization of Wax conditional annotations (#[if(...)] / #[else]) against user-supplied variable bindings, the Wax-AST counterpart of Wax_wasm.Cond_specialize.module_.

Sourcemodule Fast_parser : sig ... end
Sourcemodule Infer : sig ... end

The inferred-type lattice used while type checking, the mutable cells (Cell) that carry it, and the shared printers/type aliases built on top.

Sourcemodule Lexer : sig ... end

Lexer for Wax.

Sourcemodule Output : sig ... end

Pretty-printing for Wax.

Sourcemodule Parser : sig ... end
Sourcemodule Parser_messages : sig ... end
Sourcemodule Recover : sig ... end

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

Sourcemodule Tokens : sig ... end
Sourcemodule Typing : sig ... end

Type checking and validation for Wax modules.