+memoizer.cmo: memoizer.cmi
+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
+ptset.cmx: hcons.cmx ptset.cmi