LessThan (checker-framework 3.39.0-eisop1 API)

```
@Documented
@Retention(RUNTIME)
@Target({TYPE_PARAMETER,TYPE_USE})
@SubtypeOf(LessThanUnknown.class)
public @interface LessThan
```
An annotation indicating the relationship between values with a byte, short, char, int, or long type.
If an expression's type has this annotation, then at run time, the expression evaluates to a value that is less than the value of the expression in the annotation.
Subtyping:
- @LessThan({"a", "b"}) <: @LessThan({"a"})
- @LessThan({"a", "b"}) is not related to @LessThan({"a", "c"}).
See the Checker Framework Manual:
Index Checker Inequalities

- Required Element Summary
  
  Required Elements
  Modifier and Type Required Element Description
  
  java.lang.String[] value
  The annotated expression's value is less than this expression.

- Element Detail
  - value
```
@JavaExpression
java.lang.String[] value
```
    The annotated expression's value is less than this expression.
    The expressions in value may be addition/subtraction of any number of Java expressions. For example, @LessThan(value = "x + y + 2"}.
    The expression in value must be final or constant or the addition/subtract of final or constant expressions.