org.checkerframework.checker.index.qual

Annotation Type LessThanBottom

@SubtypeOf(value=LessThan.class)
 @Retention(value=RUNTIME)
 @Target(value={TYPE_PARAMETER,TYPE_USE})
public @interface LessThanBottom