Un especificador aplica información adicional a una definición. Por ejemplo, el especificador de efecto decides en una definición de función marca la función como falible.
Los especificadores entran en una de estas dos subcategorías: especificadores de acceso y especificadores de efecto.