Annotation Interface Area


Units of areas.
See the Checker Framework Manual:
Units Checker