utility.cmx: dbconn.cmx utility.cmi
union.cmo: union.cmi
union.cmx: union.cmi
-relation.cmo: dbconn.cmi utility.cmi relation.cmi
-relation.cmx: dbconn.cmx utility.cmx relation.cmi
+relation.cmo: dbconn.cmi union.cmi utility.cmi relation.cmi
+relation.cmx: dbconn.cmx union.cmx utility.cmx relation.cmi
diff.cmo: diff.cmi
diff.cmx: diff.cmi
meet.cmo: meet.cmi