remove unused Typing_deps.idep_exists
commit491b4f28bc49831d2453f90851da41b983fe4493
authorTom Yang <toyang@meta.com>
Tue, 8 Nov 2022 00:12:00 +0000 (7 16:12 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 8 Nov 2022 00:12:00 +0000 (7 16:12 -0800)
tree22f88caa093ef8656c5f3c83f83c94be206fdf84
parent3721a1e3746257d7137447e2bc6cd6e950f3add9
remove unused Typing_deps.idep_exists

Summary: I noticed that `Typing_deps.idep_exists` isn't being used anywhere while working on `hh_fanout`. This diff removes it.

Differential Revision: D41049228

fbshipit-source-id: 6f54614bcfb65dad34593c25760050193da2bca8
hphp/hack/src/deps/typing_deps.ml
hphp/hack/src/deps/typing_deps.mli