This package contains annotations commonly used in project Indus. Some value describing annotations can be used with methods and, in such cases, they apply to the return value of the methods.