Module Import_info.Intf

The preferred API to use for interface imports. An interface import might be a parameter, in which case it has a CRC but no CU.t (since a CU.t is for an implementation).

type nonrec t = t
val create_normal : CU.Name.t -> CU.t -> crc:Digest.t -> t
val create_alias : CU.Name.t -> t
val create_parameter : CU.Name.t -> crc:Digest.t -> t
module Nonalias : sig ... end
val create : CU.Name.t -> Nonalias.t option -> t

create name nonalias is create_normal name cu crc if nonalias is Some (Normal cu, crc), create_parameter name crc if nonalias is Some (Parameter, crc), and create_alias if nonalias is None. Useful when nonalias is coming out of Consistbl.

val name : t -> CU.Name.t
val info : t -> Nonalias.t option
val crc : t -> Digest.t option
val has_name : t -> name:CU.Name.t -> bool
val dummy : t