memory.cmo: memory.cmi memory.cmx: memory.cmi 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 tag.cmo: tag.cmi tag.cmx: tag.cmi tagSet.cmo: tag.cmi ptset.cmi finiteCofinite.cmi tagSet.cmi tagSet.cmx: tag.cmx ptset.cmx finiteCofinite.cmx tagSet.cmi options.cmo: options.cmi options.cmx: options.cmi tree.cmo: tag.cmi ptset.cmi options.cmi tree.cmi tree.cmx: tag.cmx ptset.cmx options.cmx tree.cmi ata.cmo: tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi hlist.cmi hcons.cmi \ ata.cmi ata.cmx: tree.cmx tagSet.cmx tag.cmx sigs.cmi ptset.cmx hlist.cmx hcons.cmx \ ata.cmi ulexer.cmo: ulexer.cmi ulexer.cmx: ulexer.cmi xPath.cmo: ulexer.cmi tagSet.cmi tag.cmi ata.cmi xPath.cmi xPath.cmx: ulexer.cmx tagSet.cmx tag.cmx ata.cmx xPath.cmi main.cmo: xPath.cmi ulexer.cmi tree.cmi tag.cmi options.cmi ata.cmi main.cmx: xPath.cmx ulexer.cmx tree.cmx tag.cmx options.cmx ata.cmx memory.cmi: sigs.cmi: memoizer.cmi: hcons.cmi: hlist.cmi: hcons.cmi ptset.cmi: hcons.cmi finiteCofinite.cmi: sigs.cmi tag.cmi: tagSet.cmi: tag.cmi ptset.cmi finiteCofinite.cmi options.cmi: tree.cmi: tag.cmi ptset.cmi ata.cmi: tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi hlist.cmi ulexer.cmi: xPath.cmi: tagSet.cmi tag.cmi ata.cmi