/**
 * 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.
 */
package org.checkerframework.framework.type.visitor;
