Type.java

package java.lang.reflect;
import checkers.javari.quals.*;

public @ReadOnly interface Type {}