`module Debug : sig ... end`
`type one = {`

1. `code : Code.program;`
2. `cmis : Stdlib.StringSet.t;`
3. `debug : Debug.summary;`

`}`
`val read_primitives : Toc.t -> Stdlib.in_channel -> string list`
`val from_exe : ?includes:string list -> linkall:bool -> link_info:bool -> include_cmis:bool -> ?exported_unit:string list -> ?debug:bool -> Stdlib.in_channel -> one`
`val from_cmo : ?includes:string list -> ?include_cmis:bool -> ?debug:bool -> Ocaml_compiler.Cmo_format.t -> Stdlib.in_channel -> one`
`val from_cma : ?includes:string list -> ?include_cmis:bool -> ?debug:bool -> Cmo_format.library -> Stdlib.in_channel -> one`
`val from_channel : Stdlib.in_channel -> [ `Cmo of Ocaml_compiler.Cmo_format.t | `Cma of Cmo_format.library | `Exe ]`
`val from_string : prims:string array -> debug:Instruct.debug_event list array -> string -> Code.program`
`val normalize_bytecode : string -> string`
`val predefined_exceptions : unit -> Code.program * Unit_info.t`
`type bytesections = {`

1. `symb : Ocaml_compiler.Symtable.GlobalMap.t;`
2. `crcs : Ocaml_compiler.Import_info.table;`
3. `prim : string list;`
4. `dlpt : string list;`

`}`
`val read_crcs : Stdlib.in_channel -> Ocaml_compiler.Import_info.t list`
`val link_info : symbols:Ocaml_compiler.Symtable.GlobalMap.t -> primitives:Stdlib.StringSet.t -> crcs:Ocaml_compiler.Import_info.t list -> num_globals:int -> Code.program`