qualify ?stdlib srcs returns the OCaml objects that can be inferred based on the given sources srcs (folders, files, artefacts) and attempts to qualify these objects. To qualify an object is, strictly speaking, to find all the other objects required so that all references within the object can be found amongst the others. An object may therefore not be fully qualified, and other sources must therefore be found in order for it to be fully qualified.

It is said that static linking of all these objects is possible once they are all fully qualified. This function is therefore the central element of our resolution loop (qualify, search for new elements, re-qualify, and so on until all artefacts have been fully qualified).