| commit | 1fcfd52d9c571854d8809425ced87cf2783f45d6 | |
| author | Manuel Fahndrich <fahndrich@fb.com> | |
| Tue, 9 Mar 2021 01:50:08 +0000 (8 17:50 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 9 Mar 2021 01:53:22 +0000 (8 17:53 -0800) | ||
| tree | 7d5832f37c24f2a67567d7ac5ab396a71a23732e | treesnapshot (tar.gz zip) |
| parent | 01c543d60fcdf81b770217dd9c8e6f6a74d0e788 | commitdiff |
Make Naming heap wrappable for analysis (2/n)
Differential Revision: D26373394
fbshipit-source-id: 18ab0da5ed3be008ac83db3643a847beed83ac88
Differential Revision: D26373394
fbshipit-source-id: 18ab0da5ed3be008ac83db3643a847beed83ac88
| hphp/hack/src/naming/naming_heap.ml | diffblobblamehistory | |
| hphp/hack/src/naming/naming_heap.mli | diffblobblamehistory |