Clean up JSON builder code
commit5fc7a016fd90b679e03eb3356b576b41787a4a8a
authorKatie Ots <kjo@fb.com>
Mon, 17 Feb 2020 15:46:54 +0000 (17 07:46 -0800)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Mon, 17 Feb 2020 15:49:56 +0000 (17 07:49 -0800)
tree0f967225c2b25aacaa0fc737c055596b75d582df
parent509a64f4108776e796c478829194e06ba01247a2
Clean up JSON builder code

Reviewed By: rleshchinskiy

Differential Revision: D19906689

fbshipit-source-id: 51d1f81a44586381e7f05878af858879e2f28408
hphp/hack/src/typing/typing_symbol_json_builder.ml