export declare function proibirQuantificador(nomeModificadorOuVariavel: string, quantificador: string): void;