package-info.java

/**
 * Contains a way of representing the type of a program element that considers the type qualifiers
 * on that element (and ignores its Java type). The package additionally provides utilities for
 * obtaining and manipulating this type representation.
 *
 * @checker_framework.manual #creating-a-checker How to write a checker plugin
 */
package org.checkerframework.framework.type;