Compile
Bytecode compilation for .ml and .mli files.
val implementation : start_from:Clflags.Compiler_pass.t -> source_file:string -> output_prefix:string ->
unit
*
val to_bytecode : Compile_common.info -> (Typedtree.structure * Typedtree.module_coercion) -> Instruct.instruction list * Ident.Set.t
to_bytecode info typed
takes a typechecked implementation and returns its bytecode.
val emit_bytecode : Compile_common.info -> (Instruct.instruction list * Ident.Set.t) -> unit
emit_bytecode bytecode
output the bytecode executable.