helm/software/components/disambiguation/.depend.opt

   1 disambiguate.cmi: disambiguateTypes.cmi
   2 multiPassDisambiguator.cmi: disambiguateTypes.cmi disambiguate.cmi
   3 disambiguateTypes.cmo: disambiguateTypes.cmi
   4 disambiguateTypes.cmx: disambiguateTypes.cmi
   5 disambiguate.cmo: disambiguateTypes.cmi disambiguate.cmi
   6 disambiguate.cmx: disambiguateTypes.cmx disambiguate.cmi
   7 multiPassDisambiguator.cmo: disambiguateTypes.cmi disambiguate.cmi \
   8     multiPassDisambiguator.cmi
   9 multiPassDisambiguator.cmx: disambiguateTypes.cmx disambiguate.cmx \
  10     multiPassDisambiguator.cmi