The annotated term. This only combines the term with the annotations, nothing special.
To quote shepmaster (except this is an f32):
The basic term type, without annotations
These placeholders match the constructors of Term. The Application has sub-placeholders for the children of the constructor. The Term placeholder is basically a wildcard, it matches anything.
An all-in-one package for building