framework/src/main/java/org/checkerframework/framework/type/visitor/package-info.java

package org.checkerframework.framework.type.visitor;

/**
 * Despite the name {@code visitor/}, this package does not just contain visitors. It contains types
 * that are intended to be subclassed, such as interfaces and abstract classes.
 */