Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
VoidType.java
blob: ad6ec89a0bfe9bd3c72621212d8ba0c337987c9f [
file
] [
log
] [
blame
]
public
class
VoidType
{
private
Class
<?>
main_class
=
Void
.
TYPE
;
}