search

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless
Apache License 2.0
6 stars 2 forks source link

Stainless collection method names #144

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

Stainless collections don't have the same names as Rust's std ones. Examples: Stainless Map has contains instead of contains_key, the Set has add instead of insert.