Package org.checkerframework.checker.index.qual

Annotation Type SameLenUnknown

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf({})
@DefaultQualifierInHierarchy
public @interface SameLenUnknown

This type represents any variable that isn't known to have the same length as another sequence. This is the top type of the Same Length type system. Programmers should not need to write this type.