A decorator that provides queries for specific annotations of a symbol.
An annotation indicating the body of a right-hand side, typically of an inline method.
An annotation indicating the body of a right-hand side, typically of an inline method. Treated specially in pickling/unpickling and TypeTreeMaps