Member predicate AnnotationType::isDocumented

Holds if this annotation type is annotated with the meta-annotation @Documented.