EnsuresLTLengthOfIf.List (checker-framework 3.39.0-eisop1 API)

```
@Documented
@Retention(RUNTIME)
@Target({METHOD,CONSTRUCTOR})
@ConditionalPostconditionAnnotation(qualifier=LTLengthOf.class)
@InheritedAnnotation
public static @interface EnsuresLTLengthOfIf.List
```
A wrapper annotation that makes the EnsuresLTLengthOfIf annotation repeatable.
Programmers generally do not need to write this. It is created by Java when a programmer writes more than one EnsuresLTLengthOfIf annotation at the same location.

- Required Element Summary
  
  Required Elements
  Modifier and Type Required Element Description
  
  EnsuresLTLengthOfIf[] value
  Return the repeatable annotations.

- Element Detail
  - value
```
EnsuresLTLengthOfIf[] value
```
    Return the repeatable annotations.
    
    Returns:
    
    the repeatable annotations