Odig_support.Doc_cobjLookup package API documention compilation objects.
The compilation objects relevant for documentation are looked up according to the following rules:
cmi file.cmti file then if missing for a cmt file, then if none of these exist the cmi file.cmti or cmt files which have no corresponding cmi file odig collects them and deems them to be hidden (odoc will be called with the --hidden option).val path : t -> B0_std.Fpath.tpath cobj is the path to cobj.
val modname : t -> stringmodname cobj is the module name of cobj (as determined from the filename).
hidden cobj is true if odoc must compile cobj with the --hidden option.
val don't_list : t -> booldon't_list cobj is true if cobj should not appear in module indexes.
of_pkg pkg are the compilation objects of pkg that are useful for documentation generation.