Annotation Interface PolyUI


Annotation for the polymorphic-UI effect.
See the Checker Framework Manual:
GUI Effect Checker, Qualifier polymorphism