org.checkerframework.checker.index.qual
public @Interface LessThanBottom
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:TYPE_PARAMETER, TYPE_USE
- @SubtypeOf:LessThan
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf
The bottom type in the LessThan type system. Programmers should rarely write this type.
