Annotation Interface Time


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