multi-instances aliases are compressed to single instances if possible

[helm.git] / components / cic_disambiguation / .depend

disambiguateChoices.cmi: disambiguateTypes.cmi 
disambiguate.cmi: disambiguateTypes.cmi 
disambiguateTypes.cmo: disambiguateTypes.cmi 
disambiguateTypes.cmx: disambiguateTypes.cmi 
disambiguateChoices.cmo: disambiguateTypes.cmi disambiguateChoices.cmi 
disambiguateChoices.cmx: disambiguateTypes.cmx disambiguateChoices.cmi 
disambiguate.cmo: disambiguateTypes.cmi disambiguateChoices.cmi \
    disambiguate.cmi 
disambiguate.cmx: disambiguateTypes.cmx disambiguateChoices.cmx \
    disambiguate.cmi 
number_notation.cmo: disambiguateTypes.cmi disambiguateChoices.cmi 
number_notation.cmx: disambiguateTypes.cmx disambiguateChoices.cmx