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

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

`}`
`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 -> Cmo_format.compilation_unit -> 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 Cmo_format.compilation_unit | `Cma of Cmo_format.library | `Exe ]`
`val from_string : prims:string array -> debug:Instruct.debug_event list array -> string -> Code.program * Debug.t`
`val predefined_exceptions : unit -> Code.program * Unit_info.t`
`val link_info : symtable:Ocaml_compiler.Symtable.GlobalMap.t -> primitives:string list -> crcs:(string * Stdlib.Digest.t option) list -> Code.program`