FStarLang / FStar

A Proof-oriented Programming Language
https://www.fstar-lang.org
Apache License 2.0
2.65k stars 232 forks source link

FStar.Queue: rename to FStar.FunctionalQueue #3304

Closed mtzguido closed 1 month ago

mtzguido commented 1 month ago

This shadowed a Queue module in Steel. This could be fixed there but this is anyway arguably a better name for the standard library module.