| commit | 83a006582f5512e9afea81e3156b60f347a5a5aa | |
| author | Wilfred Hughes <wilfred@fb.com> | |
| Wed, 11 Aug 2021 01:11:11 +0000 (10 18:11 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 11 Aug 2021 01:12:30 +0000 (10 18:12 -0700) | ||
| tree | 5edea7c59bd717dea49d9d1b3231ed1e6c774dba | treesnapshot (tar.gz zip) |
| parent | 4febb0d8ab460dd350175cb003e4c35b804a09d9 | commitdiff |
Add .mli file for nastInitCheck
Summary:
Add a `.mli` file for `nastInitCheck`, as we only use one function externally.
Also move the top-level function to the end of the file, as it doesn't need to be recursive.
Reviewed By: hgoldstein
Differential Revision: D30234229
fbshipit-source-id: c5a9d24fb3ea735a2598c6de8bbaf6446ef31a86
Summary:
Add a `.mli` file for `nastInitCheck`, as we only use one function externally.
Also move the top-level function to the end of the file, as it doesn't need to be recursive.
Reviewed By: hgoldstein
Differential Revision: D30234229
fbshipit-source-id: c5a9d24fb3ea735a2598c6de8bbaf6446ef31a86
| hphp/hack/src/typing/nastInitCheck.ml | diffblobblamehistory | |
| hphp/hack/src/typing/nastInitCheck.mli | [new file with mode: 0644] | blob |