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
Introduce __ReturnsVoidToRx
[hiphop-php.git]
/
hphp
/
hack
/
src
/
typing
/
typing_requirements.mli
blob
bb6bd391379e4553b58c5c830ac209c3e936ebd8
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
.
env
->
Typing_defs
.
class_type
->
unit