grafiteDisambiguate.cmi: 
lexiconTypes.cmi: grafiteDisambiguate.cmi 
lexiconSync.cmi: lexiconTypes.cmi 
grafiteDisambiguate.cmo: grafiteDisambiguate.cmi 
grafiteDisambiguate.cmx: grafiteDisambiguate.cmi 
lexiconTypes.cmo: grafiteDisambiguate.cmi lexiconTypes.cmi 
lexiconTypes.cmx: grafiteDisambiguate.cmx lexiconTypes.cmi 
lexiconSync.cmo: lexiconSync.cmi 
lexiconSync.cmx: lexiconSync.cmi