Decl.java

import org.checkerframework.framework.qual.InheritedAnnotation;

@InheritedAnnotation
public @interface Decl {
    boolean flag();
}