Optcompile (ocaml.Optcompile)

val interface : source_file:string -> output_prefix:string -> unit

val implementation : backend:(module Backend_intf.S) -> start_from:Clflags.Compiler_pass.t -> source_file:string ->
output_prefix:string -> unit

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.