val interface : source_file:string -> output_prefix:string -> unit
val implementation : backend:(module Backend_intf.S) -> source_file:string -> output_prefix:string -> unit
Internal functions
val clambda : Compile_common.info -> (module Backend_intf.S) -> (Typedtree.structure * Typedtree.module_coercion) -> unit
clambda info typed
applies the regular compilation pipeline to the given typechecked implementation and outputs the resulting files.
val flambda : Compile_common.info -> (module Backend_intf.S) -> (Typedtree.structure * Typedtree.module_coercion) -> unit
flambda info backend typed
applies the Flambda compilation pipeline to the given typechecked implementation and outputs the resulting files.