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.