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

Internal functions

val clambda : 
  Compile_common.info ->
  (module Backend_intf.S) ->
  Typedtree.implementation ->
  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.implementation ->
  unit

flambda info backend typed applies the Flambda compilation pipeline to the given typechecked implementation and outputs the resulting files.