package-info.java

/**
 * A minimal checker and simple annotation used for testing the Checker Framework without the
 * semantics of any particular (meaningful) checker.
 *
 * <p>The checker and annotation in this package should only be used for testing.
 *
 * <p>The {@code @Odd} annotation is a straightforward subtype-style qualifier. It has no special
 * semantics; values that do not have an {@code @Odd} type cannot be assigned to values that do have
 * the {@code @Odd} type.
 */
package testlib.util;