disambiguatePp.cmi: disambiguateTypes.cmi 
disambiguateChoices.cmi: disambiguateTypes.cmi 
disambiguate.cmi: disambiguateTypes.cmi 
disambiguateTypes.cmo: disambiguateTypes.cmi 
disambiguateTypes.cmx: disambiguateTypes.cmi 
disambiguatePp.cmo: disambiguateTypes.cmi disambiguatePp.cmi 
disambiguatePp.cmx: disambiguateTypes.cmx disambiguatePp.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 
arit_notation.cmo: disambiguateTypes.cmi disambiguateChoices.cmi 
arit_notation.cmx: disambiguateTypes.cmx disambiguateChoices.cmx