web/uri.cmo:
web/uri.cmx:
web/date.cmo:
web/date.cmx:
web/http.cmo: web/uri.cmx web/date.cmx
web/http.cmx: web/uri.cmx web/date.cmx
web/html.cmo: web/http.cmx
web/html.cmx: web/http.cmx
utils/mapext.cmo:
utils/mapext.cmx:
utils/int.cmo: /users/absint3/mine/lib/ocaml/zarith/z.cmi
utils/int.cmx: /users/absint3/mine/lib/ocaml/zarith/z.cmi
utils/float.cmo: utils/int.cmx
utils/float.cmx: utils/int.cmx
utils/intinf.cmo: utils/int.cmx utils/float.cmx utils/datatypes.cmx
utils/intinf.cmx: utils/int.cmx utils/float.cmx utils/datatypes.cmx
utils/rat.cmo: /users/absint3/mine/lib/ocaml/zarith/q.cmi utils/intinf.cmx \
    utils/int.cmx utils/datatypes.cmx
utils/rat.cmx: /users/absint3/mine/lib/ocaml/zarith/q.cmi utils/intinf.cmx \
    utils/int.cmx utils/datatypes.cmx
utils/datatypes.cmo: /users/absint3/mine/lib/ocaml/zarith/z.cmi \
    utils/mapext.cmx
utils/datatypes.cmx: /users/absint3/mine/lib/ocaml/zarith/z.cmi \
    utils/mapext.cmx
utils/itv_int.cmo: utils/intinf.cmx utils/int.cmx utils/datatypes.cmx
utils/itv_int.cmx: utils/intinf.cmx utils/int.cmx utils/datatypes.cmx
utils/itv_rat.cmo: utils/rat.cmx utils/int.cmx utils/datatypes.cmx
utils/itv_rat.cmx: utils/rat.cmx utils/int.cmx utils/datatypes.cmx
utils/itv_float.cmo: utils/intinf.cmx utils/int.cmx utils/float.cmx \
    utils/datatypes.cmx
utils/itv_float.cmx: utils/intinf.cmx utils/int.cmx utils/float.cmx \
    utils/datatypes.cmx
utils/mathtypes.cmo: utils/intinf.cmx utils/int.cmx utils/float.cmx \
    utils/datatypes.cmx
utils/mathtypes.cmx: utils/intinf.cmx utils/int.cmx utils/float.cmx \
    utils/datatypes.cmx
utils/affine.cmo: utils/mathtypes.cmx utils/mapext.cmx utils/itv_rat.cmx \
    utils/itv_int.cmx utils/itv_float.cmx utils/int.cmx utils/datatypes.cmx
utils/affine.cmx: utils/mathtypes.cmx utils/mapext.cmx utils/itv_rat.cmx \
    utils/itv_int.cmx utils/itv_float.cmx utils/int.cmx utils/datatypes.cmx
frontend/abstract_syntax.cmo: utils/datatypes.cmx
frontend/abstract_syntax.cmx: utils/datatypes.cmx
frontend/parser.cmo: frontend/abstract_syntax.cmx frontend/parser.cmi
frontend/parser.cmx: frontend/abstract_syntax.cmx frontend/parser.cmi
frontend/lexer.cmo: frontend/parser.cmi frontend/abstract_syntax.cmx
frontend/lexer.cmx: frontend/parser.cmx frontend/abstract_syntax.cmx
frontend/typed_syntax.cmo: utils/intinf.cmx utils/float.cmx \
    utils/datatypes.cmx frontend/abstract_syntax.cmx
frontend/typed_syntax.cmx: utils/intinf.cmx utils/float.cmx \
    utils/datatypes.cmx frontend/abstract_syntax.cmx
frontend/semantics.cmo: frontend/typed_syntax.cmx utils/itv_int.cmx \
    utils/itv_float.cmx utils/int.cmx utils/float.cmx utils/datatypes.cmx \
    frontend/abstract_syntax.cmx
frontend/semantics.cmx: frontend/typed_syntax.cmx utils/itv_int.cmx \
    utils/itv_float.cmx utils/int.cmx utils/float.cmx utils/datatypes.cmx \
    frontend/abstract_syntax.cmx
frontend/abstract_to_typed_syntax.cmo: frontend/typed_syntax.cmx \
    utils/int.cmx utils/float.cmx utils/datatypes.cmx \
    frontend/abstract_syntax.cmx
frontend/abstract_to_typed_syntax.cmx: frontend/typed_syntax.cmx \
    utils/int.cmx utils/float.cmx utils/datatypes.cmx \
    frontend/abstract_syntax.cmx
domains/domain.cmo: frontend/typed_syntax.cmx utils/datatypes.cmx \
    frontend/abstract_syntax.cmx
domains/domain.cmx: frontend/typed_syntax.cmx utils/datatypes.cmx \
    frontend/abstract_syntax.cmx
domains/linearization.cmo: frontend/typed_syntax.cmx frontend/semantics.cmx \
    utils/mathtypes.cmx utils/float.cmx domains/domain.cmx \
    utils/datatypes.cmx utils/affine.cmx frontend/abstract_syntax.cmx
domains/linearization.cmx: frontend/typed_syntax.cmx frontend/semantics.cmx \
    utils/mathtypes.cmx utils/float.cmx domains/domain.cmx \
    utils/datatypes.cmx utils/affine.cmx frontend/abstract_syntax.cmx
domains/apron_domain.cmo: frontend/typed_syntax.cmx frontend/semantics.cmx \
    utils/mapext.cmx domains/linearization.cmx utils/itv_rat.cmx \
    utils/itv_float.cmx web/html.cmx domains/domain.cmx utils/datatypes.cmx \
    frontend/abstract_syntax.cmx
domains/apron_domain.cmx: frontend/typed_syntax.cmx frontend/semantics.cmx \
    utils/mapext.cmx domains/linearization.cmx utils/itv_rat.cmx \
    utils/itv_float.cmx web/html.cmx domains/domain.cmx utils/datatypes.cmx \
    frontend/abstract_syntax.cmx
driver/iterator.cmo: frontend/typed_syntax.cmx utils/mapext.cmx \
    utils/itv_int.cmx domains/domain.cmx utils/datatypes.cmx \
    frontend/abstract_syntax.cmx
driver/iterator.cmx: frontend/typed_syntax.cmx utils/mapext.cmx \
    utils/itv_int.cmx domains/domain.cmx utils/datatypes.cmx \
    frontend/abstract_syntax.cmx
frontend/parser.cmi: frontend/abstract_syntax.cmx
driver/main.cmo: frontend/typed_syntax.cmx frontend/parser.cmi \
    frontend/lexer.cmx driver/iterator.cmx domains/apron_domain.cmx \
    frontend/abstract_to_typed_syntax.cmx frontend/abstract_syntax.cmx
driver/main.cmx: frontend/typed_syntax.cmx frontend/parser.cmx \
    frontend/lexer.cmx driver/iterator.cmx domains/apron_domain.cmx \
    frontend/abstract_to_typed_syntax.cmx frontend/abstract_syntax.cmx
web/webmain.cmo: frontend/typed_syntax.cmx frontend/parser.cmi \
    frontend/lexer.cmx driver/iterator.cmx web/http.cmx web/html.cmx \
    utils/datatypes.cmx domains/apron_domain.cmx \
    frontend/abstract_to_typed_syntax.cmx frontend/abstract_syntax.cmx
web/webmain.cmx: frontend/typed_syntax.cmx frontend/parser.cmx \
    frontend/lexer.cmx driver/iterator.cmx web/http.cmx web/html.cmx \
    utils/datatypes.cmx domains/apron_domain.cmx \
    frontend/abstract_to_typed_syntax.cmx frontend/abstract_syntax.cmx
