Rename or remove {:layerQuantifier} attribute #35
Labels
misc: cleanup
Cleanups in the implementation or in corners of the language
part: verifier
Translation from Dafny to Boogie (translator)
status: designed
Issues that have a complete story on how to implement this feature and why we want it
Rustan has commented that, if the
{:layerQuantifier}
is to stay at all, that it should be renamed to{:fuelQuantifier}
. In addition, if this is kept, the reference manual needs a more complete description of the purpose and effect of this attribute. If it is only used internally its name should start with a leading underscore.The text was updated successfully, but these errors were encountered: