add some .mli files
commit81ba82b5a94f1c704af0dbf3b1f954dce5fbbeaa
authorCatherine Gasnier <catg@fb.com>
Mon, 25 Jan 2021 15:11:18 +0000 (25 07:11 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 25 Jan 2021 15:13:55 +0000 (25 07:13 -0800)
treee5f53e4babe65b42d323098567540b42d7ea3988
parentb509e5488870cddd731b077db54037f2c18d91d6
add some .mli files

Reviewed By: vsiles

Differential Revision: D26045934

fbshipit-source-id: 339b6e79bd56bd5ebb28d74360776359987e45ac
23 files changed:
hphp/hack/src/decl/decl_to_typing.mli [new file with mode: 0644]
hphp/hack/src/typing/tast_check/enforceable_hint_check.ml
hphp/hack/src/typing/tast_check/reified_check.ml
hphp/hack/src/typing/tast_check/type_const_check.ml
hphp/hack/src/typing/type_validator.ml
hphp/hack/src/typing/typing_async.mli [new file with mode: 0644]
hphp/hack/src/typing/typing_coeffects.mli [new file with mode: 0644]
hphp/hack/src/typing/typing_dependent_type.mli [new file with mode: 0644]
hphp/hack/src/typing/typing_enforceability.ml
hphp/hack/src/typing/typing_enforceability.mli [new file with mode: 0644]
hphp/hack/src/typing/typing_enforceable_hint.ml
hphp/hack/src/typing/typing_enforceable_hint.mli [new file with mode: 0644]
hphp/hack/src/typing/typing_extends.ml
hphp/hack/src/typing/typing_generic.ml
hphp/hack/src/typing/typing_generic.mli [new file with mode: 0644]
hphp/hack/src/typing/typing_generic_rules.mli [new file with mode: 0644]
hphp/hack/src/typing/typing_ops.ml
hphp/hack/src/typing/typing_ops.mli [new file with mode: 0644]
hphp/hack/src/typing/typing_reactivity.ml
hphp/hack/src/typing/typing_reactivity.mli [new file with mode: 0644]
hphp/hack/src/typing/typing_tdef.ml
hphp/hack/src/typing/typing_tdef.mli [new file with mode: 0644]
hphp/hack/src/typing/typing_variance.ml