memoizer.cmx: memoizer.cmi
hcons.cmo: hcons.cmi
hcons.cmx: hcons.cmi
-memhashtbl.cmo: hcons.cmi memhashtbl.cmi
-memhashtbl.cmx: hcons.cmx memhashtbl.cmi
hlist.cmo: hcons.cmi hlist.cmi
hlist.cmx: hcons.cmx hlist.cmi
ptset.cmo: hcons.cmi ptset.cmi
sigs.cmi:
memoizer.cmi:
hcons.cmi:
-memhashtbl.cmo: hcons.cmi memhashtbl.cmi
-memhashtbl.cmx: hcons.cmx memhashtbl.cmi
hlist.cmi: hcons.cmi
ptset.cmi: hcons.cmi
finiteCofinite.cmi: sigs.cmi