Annotation Interface km


Kilometer.
See the Checker Framework Manual:
Units Checker