Make ty opaque in Typing_defs (part 8)
commitc688be0b6bdab0550db7cd7462b19527581ba8e0
authorAndrew Kennedy <akenn@fb.com>
Mon, 20 Jan 2020 14:45:32 +0000 (20 06:45 -0800)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Mon, 20 Jan 2020 14:55:33 +0000 (20 06:55 -0800)
treeaa57593b2eb5f9b2cdf03b237900c550ef71c13f
parent058b590f4b5b0a7b3a9842935eccc458bde7ef83
Make ty opaque in Typing_defs (part 8)

Summary: This is the eighth diff in a stack that will eventually make Typing_defs.ty opaque. This diff: typing.ml. A biggie.

Reviewed By: CatherineGasnier

Differential Revision: D19418481

fbshipit-source-id: c62ad2e4a375caacb7d346e081f61004fb95e739
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_subtype_tconst.ml