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