package-info.java

/**
 * Contains a simple type-checker plug-in that performs assignment and pseudo-assignment checks on
 * annotated types.
 *
 * <p>Most type-checker implementations will want to use the classes in this package as the base of
 * their own type-checkers.
 *
 * @checker_framework.manual #creating-a-checker Writing a checker
 */
package org.checkerframework.common.basetype;