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