At the present moment, there are two annotations:
Annotation of a callable function.
inv contains information about the transaction that invoked the function of a dApp.
Annotation of a verifier function.
tx contains information about the transaction or the order that was sent.