public annotation interface  org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf$List extends java.lang.Object implements java.lang.'annotation'.Annotation
{
public abstract org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf[] value();
}