PolyAllChecker.java

package polyall;

import org.checkerframework.common.basetype.BaseTypeChecker;

public class PolyAllChecker extends BaseTypeChecker {}