wax-lib.conversion
Wax_conversion
wax-lib
wax-lib.theo
wax-lib.utils
wax-lib.wasm
wax-lib.wax
module Driver : sig ... end
High-level conversion pipeline, reusable outside the wax command-line tool (e.g. as a preprocessor embedded in another compiler).
wax
module From_wasm : sig ... end
module Namespace : sig ... end
module Recover_dispatch : sig ... end
module Recover_loops : sig ... end
module Recover_match : sig ... end
module Recover_trycatch : sig ... end
module Sink_let : sig ... end
module To_wasm : sig ... end