The annotated term. This only combines the term with the annotations.
An f32 with broken Eq and Hash implementations. 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.
The generic description of what it means to be an
An all-in-one package for building