Search the META file for the given path.

Synthesis all artifacts described into the given META files into Uniq_info.t values.

from_cmi_to_impl ~roots cmi associates the given cmi artifact with the ocamlfind package that ships it. It returns the package's Path.t, the directory holding its META file and its descriptor — a triple whose (directory, descriptor) projection is directly consumable by to_artifacts to obtain the implementation archives. It returns None when no package under roots owns the cmi (e.g. a project-local unit).

The association is done by directory first (the cmi physically lives in its package's directory) and falls back to an interface digest comparison when the directory is ambiguous or does not match.

stdlib, when provided, is the OCaml standard library directory (e.g. from the compiler configuration of the chosen toolchain). A cmi sitting there is associated with the synthetic stdlib package, since the standard library ships no META file.