repo.or.cz
/
hiphop-php.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
separate typing_env_types and typing_env
[hiphop-php.git]
/
hphp
/
hack
/
src
/
typing
/
typing_requirements.mli
blob
abf5508cfaffaee043fb574e3163b253e4941523
1
(*
2
* Copyright (c) 2015, Facebook, Inc.
3
* All rights reserved.
4
*
5
* This source code is licensed under the MIT license found in the
6
* LICENSE file in the "hack" directory of this source tree.
7
*
8
*)
9
10
val
check_class
:
Typing_env_types
.
env
->
Decl_provider
.
class_decl
->
unit