Compile (ocaml.Compile)

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

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.