Asmlink
val link : ppf_dump:Format.formatter -> string list -> string -> unit
val check_consistency :
Misc.filepath ->
Cmx_format.unit_infos ->
Digest.t ->
unit
val extract_crc_interfaces : unit -> Misc.crcs
val extract_crc_implementations : unit -> Misc.crcs
type error =
| File_not_found of Misc.filepath
| Not_an_object_file of Misc.filepath
| Missing_implementations of (Misc.modname * string list) list
| Inconsistent_interface of Misc.modname * Misc.filepath * Misc.filepath
| Inconsistent_implementation of Misc.modname * Misc.filepath * Misc.filepath
| Assembler_error of Misc.filepath
| Linking_error of int
| Multiple_definition of Misc.modname * Misc.filepath * Misc.filepath
| Missing_cmx of Misc.filepath * Misc.modname
exception Error of error
val report_error : Format.formatter -> error -> unit