Module `Import_info.Impl`

type nonrec t = Ocaml_typing.Import_info.t

val create_loaded : 
  CU.t ->
  crc:Stdlib.Digest.t ->
  Ocaml_typing.Import_info.Impl.t

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

val create_unloaded : CU.t -> Ocaml_typing.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 ->
  Ocaml_typing.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 name : Ocaml_typing.Import_info.Impl.t -> CU.Name.t

val cu : Ocaml_typing.Import_info.Impl.t -> CU.t

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

val dummy : Ocaml_typing.Import_info.Impl.t

Module Import_info.Impl