5 orderings.cmi: terms.cmi
11 founif.cmo: terms.cmi subst.cmi founif.cmi
12 founif.cmx: terms.cmx subst.cmx founif.cmi
13 index.cmo: terms.cmi index.cmi
14 index.cmx: terms.cmx index.cmi
15 orderings.cmo: terms.cmi orderings.cmi
16 orderings.cmx: terms.cmx orderings.cmi
17 subst.cmo: terms.cmi subst.cmi
18 subst.cmx: terms.cmx subst.cmi