jon.recoil.org

Module Import_info.Impl

type nonrec t = Import_info.t
val create_loaded : CU.t -> crc:Stdlib.Digest.t -> Import_info.Impl.t

The import info for an implementation we depend on and whose .cmx we actually loaded.

val create_unloaded : CU.t -> Import_info.Impl.t

The import info for an implementation we depend on but for which we never loaded a .cmx (and thus have no CRC for).

val create : CU.t -> crc:Stdlib.Digest.t option -> Import_info.Impl.t

create cu ~crc is create_loaded if crc is Some and create_unloaded if crc is None. Useful when crc is coming out of Consistbl.

val dummy : Import_info.Impl.t