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 = Import_info.t

val create_normal : 
  CU.Name.t ->
  CU.t ->
  crc:Stdlib.Digest.t ->
  Import_info.Intf.t

val create_alias : CU.Name.t -> Import_info.Intf.t

val create_parameter : CU.Name.t -> crc:Stdlib.Digest.t -> Import_info.Intf.t

module Nonalias : sig ... end

val create : 
  CU.Name.t ->
  Import_info.Intf.Nonalias.t option ->
  Import_info.Intf.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 : Import_info.Intf.t -> CU.Name.t

val info : Import_info.Intf.t -> Import_info.Intf.Nonalias.t option

val crc : Import_info.Intf.t -> Stdlib.Digest.t option

val has_name : Import_info.Intf.t -> name:CU.Name.t -> bool

val dummy : Import_info.Intf.t

Module Import_info.Intf

Module `Import_info.Intf`