doc + renames in Decl_redecl_service
commit5730b12acfe6b43214a112131e41ced9eb94fba8
authorCatherine Gasnier <catg@fb.com>
Thu, 21 Apr 2022 10:42:42 +0000 (21 03:42 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 21 Apr 2022 10:42:42 +0000 (21 03:42 -0700)
tree64e75341ba98dd60669bc2a0e924a995a5b8e702
parent59f94e1ebce75f0a057d69108138d33bbde046e4
doc + renames in Decl_redecl_service

Summary:
See inline common for some of the changes.
The other changes are mostly adding documentation and renaming functions and variables to more explicit names.

(Note: this ignores all push blocking failures!)

Differential Revision: D35609009

fbshipit-source-id: 9708708e7b5fd083f5fb5af102fa49b32a3dbded
hphp/hack/src/decl/decl_redecl_service.ml
hphp/hack/src/decl/decl_redecl_service.mli
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/server/serverTypeCheck.ml