1 lexiconAstPp.cmi: lexiconAst.cmx
2 lexiconMarshal.cmi: lexiconAst.cmx
3 cicNotation.cmi: lexiconAst.cmx
4 lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmx cicNotation.cmi
5 lexiconSync.cmi: lexiconEngine.cmi lexiconAst.cmx
6 lexiconAstPp.cmo: lexiconAst.cmx lexiconAstPp.cmi
7 lexiconAstPp.cmx: lexiconAst.cmx lexiconAstPp.cmi
8 lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmx lexiconMarshal.cmi
9 lexiconMarshal.cmx: lexiconAstPp.cmx lexiconAst.cmx lexiconMarshal.cmi
10 cicNotation.cmo: lexiconAst.cmx cicNotation.cmi
11 cicNotation.cmx: lexiconAst.cmx cicNotation.cmi
12 lexiconEngine.cmo: lexiconMarshal.cmi lexiconAstPp.cmi lexiconAst.cmx \
13 cicNotation.cmi lexiconEngine.cmi
14 lexiconEngine.cmx: lexiconMarshal.cmx lexiconAstPp.cmx lexiconAst.cmx \
15 cicNotation.cmx lexiconEngine.cmi
16 lexiconSync.cmo: lexiconEngine.cmi lexiconAst.cmx cicNotation.cmi \
18 lexiconSync.cmx: lexiconEngine.cmx lexiconAst.cmx cicNotation.cmx \