Annotation Interface PolyPresent


A polymorphic qualifier for the Optional type system.
See the Checker Framework Manual:
Optional Checker, Qualifier polymorphism