Optcompile (p.ocaml-base-compiler.4.08.1.doc.ocamloptcomp.Optcompile)

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

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

val clambda : 
  Compile_common.info ->
  (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.