hExtlib.cmo: hExtlib.cmi hExtlib.cmx: hExtlib.cmi patternMatcher.cmo: patternMatcher.cmi patternMatcher.cmx: patternMatcher.cmi hLog.cmo: hLog.cmi hLog.cmx: hLog.cmi trie.cmo: trie.cmi trie.cmx: trie.cmi