Module Uniq_infoSource

Sourcemodule Path : sig ... end
Sourcetype t = {
  1. name : Unitname.t;
  2. version : int option;
  3. exports : (Modname.t * Digest.t option) list;
  4. modules : Path.Set.t;
  5. intfs : elt list;
  6. impls : elt list;
  7. format : format;
}
Sourceand elt =
  1. | Qualified of Modname.t * Digest.t
  2. | Fully_qualified of Modname.t * Digest.t * Fpath.t
  3. | Located of Modname.t * Fpath.t
  4. | Named of Modname.t
Sourceand 'a kind =
  1. | Ml : Comp_unit.u kind
  2. | Mli : Comp_unit.u kind
  3. | Cmo : Cmo_format.compilation_unit kind
  4. | Cma : Cmo_format.library kind
  5. | Cmi : Cmi_format.cmi_infos kind
  6. | Cmx : Cmx_format.unit_infos kind
  7. | Cmxa : Cmx_format.library_infos kind
Sourceand format =
  1. | Format : 'a kind * 'a -> format
Sourceval v : Fpath.t -> (t, [> `Msg of string ]) result
Sourceval vs : Fpath.t list -> (t list, [> `Msg of string ]) result
Sourceval is_fully_resolved : t -> bool
Sourceval is_a_library : t -> bool
Sourceval has_c_stubs : t -> bool
Sourceval c_library_dirs : t -> Fpath.t list
Sourceval is_native : t -> bool
Sourceval is_an_interface : t -> bool
Sourceval is_a_cmi : t -> bool
Sourceval exports : t -> (Path.t * Digest.t option) list
Sourceval crc_of : t -> Modname.t -> Digest.t option
Sourceval kind : t -> [ `Intf | `Impl ]
Sourceval location : t -> Fpath.t
Sourceval modname : t -> Modname.t
Sourceval equal : t -> t -> bool
Sourceval intfs_imported : t -> (Modname.t * Digest.t option) list
Sourceval impls_imported : t -> (Modname.t * Digest.t option) list
Sourceval missing : t -> (Modname.t * Digest.t option) list * (Modname.t * Digest.t option) list
Sourceval qualify : t -> ?location:Fpath.t -> ?crc:Digest.t -> [ `Intf | `Impl ] -> Modname.t -> t
Sourceval show : t Fmt.t
Sourceval pp : t Fmt.t