helm/ocaml/cic_disambiguation/.depend

   1 pp.cmi: ast.cmi
   2 disambiguate.cmi: ast.cmi disambiguate_types.cmi
   3 parser.cmi: ast.cmi
   4 disambiguate_types.cmo: disambiguate_types.cmi
   5 disambiguate_types.cmx: disambiguate_types.cmi
   6 pp.cmo: ast.cmi pp.cmi
   7 pp.cmx: ast.cmi pp.cmi
   8 macro.cmo: macro.cmi
   9 macro.cmx: macro.cmi
  10 lexer.cmo: macro.cmi lexer.cmi
  11 lexer.cmx: macro.cmx lexer.cmi
  12 parser.cmo: ast.cmi lexer.cmi parser.cmi
  13 parser.cmx: ast.cmi lexer.cmx parser.cmi
  14 disambiguate.cmo: ast.cmi disambiguate_types.cmi parser.cmi disambiguate.cmi
  15 disambiguate.cmx: ast.cmi disambiguate_types.cmx parser.cmx disambiguate.cmi
  16 logic_notation.cmo: ast.cmi disambiguate.cmi parser.cmi
  17 logic_notation.cmx: ast.cmi disambiguate.cmx parser.cmx
  18 arit_notation.cmo: ast.cmi disambiguate.cmi parser.cmi
  19 arit_notation.cmx: ast.cmi disambiguate.cmx parser.cmx