public annotation interface  org.checkerframework.common.value.qual.ArrayLenRange extends java.lang.Object implements java.lang.'annotation'.Annotation
{
public abstract int 'from'();
public abstract int 'to'();
}