coercions are there, but not heavily tested

[helm.git] / helm / software / components / ng_refiner / .depend.opt

nCicCoercion.cmi: nDiscriminationTree.cmi 
nDiscriminationTree.cmo: nDiscriminationTree.cmi 
nDiscriminationTree.cmx: nDiscriminationTree.cmi 
nCicMetaSubst.cmo: nCicMetaSubst.cmi 
nCicMetaSubst.cmx: nCicMetaSubst.cmi 
nCicCoercion.cmo: nDiscriminationTree.cmi nCicCoercion.cmi 
nCicCoercion.cmx: nDiscriminationTree.cmx nCicCoercion.cmi 
nCicUnification.cmo: nCicMetaSubst.cmi nCicUnification.cmi 
nCicUnification.cmx: nCicMetaSubst.cmx nCicUnification.cmi 
nCicRefiner.cmo: nCicUnification.cmi nCicMetaSubst.cmi nCicRefiner.cmi 
nCicRefiner.cmx: nCicUnification.cmx nCicMetaSubst.cmx nCicRefiner.cmi