add .mli for typing_defs
commitf5797d9737e55e87d2803967aabd481143214064
authorVincent Siles <vsiles@fb.com>
Wed, 7 Apr 2021 15:11:18 +0000 (7 08:11 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 7 Apr 2021 15:12:42 +0000 (7 08:12 -0700)
tree7e305ea9895118cc002034bb1066141018ad5194
parentd996041878354715ed72dc0e0665e31148ee6e8a
add .mli for typing_defs

Summary:
Add .mli for typing_defs, importing typing_defs_core.mli instead of duplicating
in

Reviewed By: CatherineGasnier

Differential Revision: D27619856

fbshipit-source-id: 0084beca5a2f653069f761b490c991f237292ed1
hphp/hack/src/typing/typing_defs.ml
hphp/hack/src/typing/typing_defs.mli [new file with mode: 0644]