1 cicMetaSubst.cmo: cicMetaSubst.cmi
2 cicMetaSubst.cmx: cicMetaSubst.cmi
3 cicMkImplicit.cmo: cicMkImplicit.cmi
4 cicMkImplicit.cmx: cicMkImplicit.cmi
5 cicUnification.cmo: cicMetaSubst.cmi cicUnification.cmi
6 cicUnification.cmx: cicMetaSubst.cmx cicUnification.cmi
7 coercGraph.cmo: coercGraph.cmi
8 coercGraph.cmx: coercGraph.cmi
9 cicRefine.cmo: coercGraph.cmi cicUnification.cmi cicMkImplicit.cmi \
10 cicMetaSubst.cmi cicRefine.cmi
11 cicRefine.cmx: coercGraph.cmx cicUnification.cmx cicMkImplicit.cmx \
12 cicMetaSubst.cmx cicRefine.cmi