clarification comment for inference functions
commit2a2a3b9b2e712b4ccdb88299932ae6cd10621087
authorCatherine Gasnier <catg@fb.com>
Mon, 7 Oct 2019 11:51:29 +0000 (7 04:51 -0700)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Mon, 7 Oct 2019 11:53:28 +0000 (7 04:53 -0700)
tree7fcdc6a42be10af3e7e7d3f81c07142081000a7e
parent381b356be5216dca8a022c31f6fe6d5c813d4960
clarification comment for inference functions

Reviewed By: Wilfred

Differential Revision: D17710662

fbshipit-source-id: 63d56cd35037db48ef0e7ece207e4e7e1810c4f1
hphp/hack/src/typing/typing_solver.ml
hphp/hack/src/typing/typing_subtype.ml