especificador

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.