Annotation Interface degrees


Degrees.
See the Checker Framework Manual:
Units Checker