helm/ocaml/cic_disambiguation/.depend

   1 pp.cmi: ast.cmi
   2 disambiguate.cmi: ast.cmi disambiguate_struct.cmo disambiguate_types.cmi
   3 parser.cmi: ast.cmi
   4 pp.cmo: ast.cmi pp.cmi
   5 pp.cmx: ast.cmi pp.cmi
   6 macro.cmo: macro.cmi
   7 macro.cmx: macro.cmi
   8 lexer.cmo: macro.cmi lexer.cmi
   9 lexer.cmx: macro.cmx lexer.cmi
  10 disambiguate_struct.cmo: disambiguate_types.cmi
  11 disambiguate_struct.cmx: disambiguate_types.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_struct.cmo disambiguate_types.cmi \
  15     parser.cmi disambiguate.cmi
  16 disambiguate.cmx: ast.cmi disambiguate_struct.cmx disambiguate_types.cmi \
  17     parser.cmx disambiguate.cmi
  18 logic_notation.cmo: ast.cmi parser.cmi
  19 logic_notation.cmx: ast.cmi parser.cmx
  20 arit_notation.cmo: ast.cmi parser.cmi
  21 arit_notation.cmx: ast.cmi parser.cmx