Module Wax_conversionSource

Sourcemodule Driver : sig ... end

High-level conversion pipeline, reusable outside the wax command-line tool (e.g. as a preprocessor embedded in another compiler).

Sourcemodule From_wasm : sig ... end
Sourcemodule Namespace : sig ... end
Sourcemodule Recover_dispatch : sig ... end
Sourcemodule Recover_loops : sig ... end
Sourcemodule Recover_match : sig ... end
Sourcemodule Recover_trycatch : sig ... end
Sourcemodule Sink_let : sig ... end
Sourcemodule To_wasm : sig ... end