specifier

A specifier applies additional information to a definition. For example, the decides effect specifier on a function definition marks the function as failable.