public annotation interface  org.checkerframework.checker.index.qual.HasSubsequence extends java.lang.Object implements java.lang.'annotation'.Annotation
{
public abstract java.lang.String subsequence();
public abstract java.lang.String 'from'();
public abstract java.lang.String 'to'();
}