cps_reader.cmi: utf8_char.cmi 
utf8_char.cmi: u_char.cmi 
utf8_lit.cmi: utf8_char.cmi 
yaxpo.cmi: cps_reader.cmi 
yaxpodom.cmi: cps_reader.cmi yaxpo.cmi 
yaxposax.cmi: cps_reader.cmi yaxpo.cmi 
cps_reader.cmo: utf8_char.cmi cps_reader.cmi 
cps_reader.cmx: utf8_char.cmx cps_reader.cmi 
u_char.cmo: u_char.cmi 
u_char.cmx: u_char.cmi 
utf8_char.cmo: u_char.cmi utf8_char.cmi 
utf8_char.cmx: u_char.cmx utf8_char.cmi 
utf8_lit.cmo: utf8_char.cmi utf8_lit.cmi 
utf8_lit.cmx: utf8_char.cmx utf8_lit.cmi 
yaxpo.cmo: cps_reader.cmi u_char.cmi utf8_char.cmi utf8_lit.cmi yaxpo.cmi 
yaxpo.cmx: cps_reader.cmx u_char.cmx utf8_char.cmx utf8_lit.cmx yaxpo.cmi 
yaxpodom.cmo: cps_reader.cmi yaxpo.cmi yaxpodom.cmi 
yaxpodom.cmx: cps_reader.cmx yaxpo.cmx yaxpodom.cmi 
yaxposax.cmo: cps_reader.cmi yaxpo.cmi yaxposax.cmi 
yaxposax.cmx: cps_reader.cmx yaxpo.cmx yaxposax.cmi 
yaxpotest.cmo: cps_reader.cmi yaxpo.cmi yaxpodom.cmi yaxposax.cmi 
yaxpotest.cmx: cps_reader.cmx yaxpo.cmx yaxpodom.cmx yaxposax.cmx